CBMC
|
Low-level interface to gdb. More...
#include <unistd.h>
#include <algorithm>
#include <forward_list>
#include <map>
#include <util/exception_utils.h>
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.