Predator  [unstable] git snapshot
Namespaces | Functions
symdump.hh File Reference

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

Detailed Description

collection of dump_* functions operating on a SymHeap object, handy when debugging

Definition in file symdump.hh.

Function Documentation

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