Predator
[unstable] git snapshot
|
collection of dump_* functions operating on a SymHeap object, handy when debugging More...
Go to the source code of this file.
Namespaces | |
namespace | Trace |
directed acyclic graph of the symbolic execution trace |
Functions | |
void | initSymDump () |
dummy function to pull all symbols from a static library | |
void | sl_dump (const SymHeapCore *sh) |
plot the given heap to file "symdump-NNNN.dot" | |
void | sl_dump (const SymHeapCore &sh) |
plot the given heap to file "symdump-NNNN.dot" | |
void | sl_dump (const SymHeapCore &sh, const char *name) |
plot the given heap to file "NAME-NNNN.dot" | |
void | sl_dump (Trace::Node *endPoint) |
plot a trace graph with the given end-point |
collection of dump_* functions operating on a SymHeap object, handy when debugging
Definition in file symdump.hh.
void initSymDump | ( | ) |
dummy function to pull all symbols from a static library
void sl_dump | ( | const SymHeapCore * | sh | ) |
plot the given heap to file "symdump-NNNN.dot"
void sl_dump | ( | const SymHeapCore & | sh | ) |
plot the given heap to file "symdump-NNNN.dot"
void sl_dump | ( | const SymHeapCore & | sh, |
const char * | name | ||
) |
plot the given heap to file "NAME-NNNN.dot"
void sl_dump | ( | Trace::Node * | endPoint | ) |
plot a trace graph with the given end-point