|
CBMC
|
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 |
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.