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

§ static_analyzer()

bool static_analyzer ( const goto_modelt goto_model,
const optionst options,
message_handlert message_handler 
)