CBMC
memory-analyzer Directory Reference
+ Directory dependency graph for memory-analyzer:

Files

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