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