To do #7859
checks for uninitialized locals in CBMC
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.