Project

General

Profile

To do #7859

checks for uninitialized locals in CBMC

Added by Sepideh Asadi about 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
07/09/2018
Due date:
% Done:

0%

Estimated time:

Description

CBMC in the goto-instrument program supports --uninitialized-check.
Since we updated cprover to version 5.10, it is well worth investigating.

Also available in: Atom PDF