uninitialized.cpp File Reference

Detection for Uninitialized Local Variables. More...

#include "uninitialized.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 (goto_modelt &goto_model)
void	show_uninitialized (const goto_modelt &goto_model, 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

(

goto_modelt &

goto_model

)

Definition at line 190 of file uninitialized.cpp.

show_uninitialized()

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

Definition at line 200 of file uninitialized.cpp.