| CBMC
    | 
#include <unistd.h>#include <algorithm>#include <exception>#include <forward_list>#include <map>#include <util/exception_utils.h> Include dependency graph for gdb_api.h:
 Include dependency graph for gdb_api.h: This graph shows which files directly or indirectly include this file:
 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 | 
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.