static_analyzer.h File Reference

#include <iosfwd>
#include <util/message.h>
#include <util/namespace.h>
#include <util/options.h>
#include <goto-programs/goto_model.h>

Include dependency graph for static_analyzer.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	static_analyzer (const goto_modelt &, const optionst &, message_handlert &)
void	show_intervals (const goto_modelt &, std::ostream &)

Function Documentation

show_intervals()

void show_intervals	(	const goto_modelt &	,
		std::ostream &
	)

Definition at line 229 of file static_analyzer.cpp.

References interval_analysis().

Referenced by goto_analyzer_parse_optionst::doit().

static_analyzer()

bool static_analyzer	(	const goto_modelt &	,
		const optionst &	,
		message_handlert &
	)

Definition at line 220 of file static_analyzer.cpp.

Referenced by goto_analyzer_parse_optionst::doit().