CBMC
gdb_api.h File Reference

Low-level interface to gdb. More...

#include <unistd.h>
#include <algorithm>
#include <forward_list>
#include <map>
#include <util/exception_utils.h>
+ Include dependency graph for gdb_api.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  gdb_apit
 Interface for running and querying GDB. More...
 
struct  gdb_apit::memory_addresst
 Memory address imbued with the explicit boolean data indicating if the address is null or not. More...
 
struct  gdb_apit::pointer_valuet
 Data associated with the value of a pointer, i.e. More...
 
class  gdb_interaction_exceptiont
 

Detailed Description

Low-level interface to gdb.

This provides an API to run a program under gdb up to some breakpoint, and then query the values of expressions. It uses the gdb machine interface (see section "The GDB/MI Interface" in the gdb manual to communicate with gdb.

Definition in file gdb_api.h.