Predator
[unstable] git snapshot
Main Page
Related Pages
Namespaces
Data Structures
Files
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
Generated on Sun Feb 10 2013 17:38:16 for Predator by
1.8.3.1