CBMC
|
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. | |