uninitialized.h File Reference

Detection for Uninitialized Local Variables. More...

#include <iosfwd>
#include <goto-programs/goto_model.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 (goto_modelt &)
void	show_uninitialized (const goto_modelt &, 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

(

goto_modelt &

)

Definition at line 201 of file uninitialized.cpp.

show_uninitialized()

void show_uninitialized	(	const goto_modelt &	,
		std::ostream &	out
	)

Definition at line 211 of file uninitialized.cpp.