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
19
#include <
goto-programs/goto_model.h
>
20
21
bool
static_analyzer
(
22
const
goto_modelt
&,
23
const
optionst
&,
24
message_handlert
&);
25
26
void
show_intervals
(
27
const
goto_modelt
&,
28
std::ostream &);
29
30
#endif // CPROVER_GOTO_ANALYZER_STATIC_ANALYZER_H
optionst
Definition:
options.h:19
message.h
goto_modelt
Definition:
goto_model.h:22
goto_model.h
Symbol Table + CFG.
namespace.h
message_handlert
Definition:
message.h:20
show_intervals
void show_intervals(const goto_modelt &, std::ostream &)
Definition:
static_analyzer.cpp:229
static_analyzer
bool static_analyzer(const goto_modelt &, const optionst &, message_handlert &)
Definition:
static_analyzer.cpp:220
options.h
Options.
goto-analyzer
static_analyzer.h
Generated by
1.8.12