static_analyzer.cpp File Reference

#include "static_analyzer.h"
#include <fstream>
#include <util/threeval.h>
#include <util/json.h>
#include <util/xml.h>
#include <analyses/interval_domain.h>

Include dependency graph for static_analyzer.cpp:

Go to the source code of this file.

Classes
class	static_analyzert

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

Function Documentation

show_intervals()

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

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 &	goto_model,
		const optionst &	options,
		message_handlert &	message_handler
	)

Definition at line 220 of file static_analyzer.cpp.

Referenced by goto_analyzer_parse_optionst::doit().