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 "b9938c73a096327189d0602f91932cf1fada01d1"
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 Mon Nov 9 2015 14:51:59 for Predator by
1.8.1.2