uninitialized.cpp File Reference

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>

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
	)

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().

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().