CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
memory-analyzer Directory Reference
+ Directory dependency graph for memory-analyzer:

Files

 analyze_symbol.cpp
 
 analyze_symbol.h
 High-level interface to gdb.
 
 gdb_api.cpp
 Low-level interface to gdb.
 
 gdb_api.h
 Low-level interface to gdb.
 
 memory_analyzer_main.cpp
 Memory analyzer interface.
 
 memory_analyzer_parse_options.cpp
 Commandline parser for the memory analyzer executing main work.
 
 memory_analyzer_parse_options.h
 This code does the command line parsing for the memory-analyzer tool.