CBMC
analyze_symbol.h File Reference

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
 

Detailed Description

High-level interface to gdb.

Definition in file analyze_symbol.h.