cprover
|
Public Member Functions | |
uninitializedt (symbol_tablet &_symbol_table) | |
void | add_assertions (const irep_idt &function_identifer, goto_programt &goto_program) |
Protected Member Functions | |
void | get_tracking (goto_programt::const_targett i_it) |
which variables need tracking, i.e., are uninitialized and may be read? More... | |
Protected Attributes | |
symbol_tablet & | symbol_table |
namespacet | ns |
uninitialized_analysist | uninitialized_analysis |
std::set< irep_idt > | tracking |
Definition at line 22 of file uninitialized.cpp.
|
inlineexplicit |
Definition at line 25 of file uninitialized.cpp.
void uninitializedt::add_assertions | ( | const irep_idt & | function_identifer, |
goto_programt & | goto_program | ||
) |
Definition at line 68 of file uninitialized.cpp.
|
protected |
which variables need tracking, i.e., are uninitialized and may be read?
Definition at line 48 of file uninitialized.cpp.
|
protected |
Definition at line 37 of file uninitialized.cpp.
|
protected |
Definition at line 36 of file uninitialized.cpp.
|
protected |
Definition at line 42 of file uninitialized.cpp.
|
protected |
Definition at line 38 of file uninitialized.cpp.