CBMC
|
#include <map>
#include <string>
#include "gdb_api.h"
#include <ansi-c/expr2c_class.h>
#include <util/message.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/std_code.h>
#include <util/symbol_table.h>
#include <goto-programs/allocate_objects.h>
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.