cprover
|
Detection for Uninitialized Local Variables. More...
#include "uninitialized.h"
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include <analyses/uninitialized_domain.h>
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) |
Detection for Uninitialized Local Variables.
Definition in file uninitialized.cpp.
void add_uninitialized_locals_assertions | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
Definition at line 197 of file uninitialized.cpp.
References uninitializedt::add_assertions(), and Forall_goto_functions.
Referenced by goto_instrument_parse_optionst::instrument_goto_program().
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, uninitializedt::ns, ai_baset::output(), and uninitializedt::uninitialized_analysis.
Referenced by goto_instrument_parse_optionst::doit().