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 
)