analyze_symbol.h File Reference

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

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.