Predator Documentation

Note

See the project page for details about the Predator project, new releases, etc.

Version

#define SL_GIT_SHA1 "7ef7bed36641f72bcfdfa53eec90699aba47ba8c"

Remarks

• symbolic heap: symid.hh, SymHeapCore, SymHeap

• garbage collector: collectJunk(), destroyObjectAndCollectJunk(), LeakMonitor

• generic join algorithm: joinSymHeaps(), joinData()

• list segment discovery: discoverBestAbstraction()

• list segment abstraction: abstractIfNeeded()

• list segment concretization: concretizeObj(), spliceOutListSegment(), dlSegReplaceByConcrete()

• symbolic state: SymState, SymHeapUnion, SymStateWithJoin

• function call management: SymBackTrace, symcut.hh, SymCallCache, SymCallCtx

• symbolic execution: SymProc, SymExecCore, execute()

• symbolic heap plotter: symplot.hh, symdebug.hh

• trace graph maintenance and visualization: Trace, Trace::Node

• utilities: symutil.hh, symseg.hh

• built-in dispatcher: handleBuiltIn()

• configuration: config.h