|
CBMC
|
High-level interface to gdb. More...
#include <ansi-c/expr2c_class.h>#include <util/namespace.h>#include <util/symbol_table.h>#include <ansi-c/allocate_objects.h>#include "gdb_api.h"#include <map>#include <string>
Include dependency graph for analyze_symbol.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | gdb_value_extractort |
| Interface for extracting values from GDB (building on gdb_apit) More... | |
| struct | gdb_value_extractort::memory_scopet |
High-level interface to gdb.
Definition in file analyze_symbol.h.