CBMC
memory_analyzer_main.cpp File Reference

Memory analyzer interface. More...

+ Include dependency graph for memory_analyzer_main.cpp:

Go to the source code of this file.

Functions

int main (int argc, const char **argv)
 

Detailed Description

Memory analyzer interface.

Definition in file memory_analyzer_main.cpp.

Function Documentation

◆ main()

int main ( int  argc,
const char **  argv 
)

Definition at line 14 of file memory_analyzer_main.cpp.