cprover
uninitialized.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Detection for Uninitialized Local Variables
4 
5 Author: Daniel Kroening
6 
7 Date: January 2010
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
15 #define CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
16 
17 #include <iosfwd>
18 
20 
22 
24  const goto_modelt &,
25  std::ostream &out);
26 
27 #endif // CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition: goto_model.h:26
add_uninitialized_locals_assertions
void add_uninitialized_locals_assertions(goto_modelt &)
Definition: uninitialized.cpp:199
show_uninitialized
void show_uninitialized(const goto_modelt &, std::ostream &out)
Definition: uninitialized.cpp:209