cprover
uninitialized.cpp File Reference

Detection for Uninitialized Local Variables. More...

Include dependency graph for uninitialized.cpp:

Go to the source code of this file.

Classes

class  uninitializedt
 

Functions

void add_uninitialized_locals_assertions (symbol_tablet &symbol_table, goto_functionst &goto_functions)
 
void show_uninitialized (const class symbol_tablet &symbol_table, const goto_functionst &goto_functions, std::ostream &out)
 

Detailed Description

Detection for Uninitialized Local Variables.

Definition in file uninitialized.cpp.

Function Documentation

◆ add_uninitialized_locals_assertions()

void add_uninitialized_locals_assertions ( symbol_tablet symbol_table,
goto_functionst goto_functions 
)

◆ show_uninitialized()

void show_uninitialized ( const class symbol_tablet symbol_table,
const goto_functionst goto_functions,
std::ostream &  out 
)

Definition at line 209 of file uninitialized.cpp.

References forall_goto_functions, and ai_baset::output().

Referenced by goto_instrument_parse_optionst::doit().