cprover
static_analyzer.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_GOTO_ANALYZER_STATIC_ANALYZER_H
11 #define CPROVER_GOTO_ANALYZER_STATIC_ANALYZER_H
12 
13 #include <iosfwd>
14 
15 #include <util/message.h>
16 #include <util/namespace.h>
17 #include <util/options.h>
18 
20 
21 bool static_analyzer(
22  const goto_modelt &,
23  const optionst &,
25 
26 void show_intervals(
27  const goto_modelt &,
28  std::ostream &);
29 
30 #endif // CPROVER_GOTO_ANALYZER_STATIC_ANALYZER_H
Symbol Table + CFG.
void show_intervals(const goto_modelt &, std::ostream &)
bool static_analyzer(const goto_modelt &, const optionst &, message_handlert &)
Options.