cprover
uninitialized.h File Reference

Detection for Uninitialized Local Variables. More...

#include <iosfwd>
#include <goto-programs/goto_functions.h>
Include dependency graph for uninitialized.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void add_uninitialized_locals_assertions (class 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.h.

Function Documentation

§ add_uninitialized_locals_assertions()

void add_uninitialized_locals_assertions ( class 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 
)