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