cprover
|
#include "static_analyzer.h"
#include <fstream>
#include <util/threeval.h>
#include <util/json.h>
#include <util/xml.h>
#include <analyses/interval_domain.h>
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) |
void show_intervals | ( | const goto_modelt & | goto_model, |
std::ostream & | out | ||
) |
Definition at line 229 of file static_analyzer.cpp.
References static_analyzert::interval_analysis, and ai_baset::output().
Referenced by goto_analyzer_parse_optionst::doit().
bool static_analyzer | ( | const goto_modelt & | goto_model, |
const optionst & | options, | ||
message_handlert & | message_handler | ||
) |
Definition at line 220 of file static_analyzer.cpp.
References static_analyzert::static_analyzert().
Referenced by goto_analyzer_parse_optionst::doit().