cprover
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().