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