CBMC
Loading...
Searching...
No Matches
memory_analyzer_main.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Symbol Analyzer
4
5
Author: Malte Mues <mail.mues@gmail.com>
6
7
\*******************************************************************/
8
11
12
#include "
memory_analyzer_parse_options.h
"
13
14
int
main
(
int
argc,
const
char
**argv)
15
{
16
memory_analyzer_parse_optionst
parse_options
(argc, argv);
17
return
parse_options
.main();
18
}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:562
memory_analyzer_parse_optionst
Definition
memory_analyzer_parse_options.h:31
main
int main()
Definition
example.cpp:18
memory_analyzer_parse_options.h
This code does the command line parsing for the memory-analyzer tool.
src
memory-analyzer
memory_analyzer_main.cpp
Generated by
1.9.8