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