Predator
[unstable] git snapshot
Main Page
Related Pages
Namespaces
Data Structures
Files
Namespace List
Namespace Members
All
Functions
Variables
Typedefs
Enumerations
Enumerator
a
c
d
e
f
h
i
j
k
l
m
n
o
p
r
s
u
w
- a -
acquireFreshShapeVar() :
AdtOp
adjustAlignment() :
IR
assignShapeVariables() :
AdtOp
- c -
chkRange() :
IR
chkTraceGraphConsistency() :
Trace
collectOpList() :
AdtOp
collectReplacedInsns() :
AdtOp
collectShapeSequences() :
FixedPoint
computeStateOf() :
FixedPoint
- d -
diffHeaps() :
AdtOp
- e -
exportControlFlow() :
FixedPoint
extendSignedIntFromLeft() :
IR
- f -
findPredecessors() :
FixedPoint
fncByCfg() :
CodeStorage
- h -
heapByIdent() :
FixedPoint
- i -
insnToLabel() :
Trace
invertInt() :
IR
isAligned() :
IR
isCovered() :
IR
isDead() :
CodeStorage::PointsTo
isDefined() :
CodeStorage
isOnStack() :
CodeStorage
isRangeByNum() :
IR
isSingular() :
IR
- j -
join() :
IR
- k -
killLocalVariables() :
CodeStorage
- l -
loadConfigString() :
GlConf
loadDefaultOperations() :
AdtOp
locationOf() :
CodeStorage
- m -
matchTemplates() :
AdtOp
- n -
nameOf() :
CodeStorage
- o -
operator!=() :
FixedPoint
,
IR
operator&() :
IR
operator&=() :
IR
operator*() :
IR
operator*=() :
IR
operator+() :
IR
operator+=() :
IR
operator-() :
IR
operator-=() :
IR
operator<() :
AdtOp
,
FixedPoint
operator<<() :
FixedPoint
,
IR
,
CodeStorage
operator<<=() :
IR
operator==() :
FixedPoint
,
IR
operator>>() :
IR
operator>>=() :
IR
- p -
plotTrace() :
Trace
printTrace() :
Trace
- r -
readTypeTree() :
CodeStorage
removeDeadCode() :
FixedPoint
replaceAdtOps() :
AdtOp
replaceNode() :
Trace
resolveIdMapping() :
Trace
rngFromNum() :
IR
- s -
scanInsn() :
CodeStorage::VarKiller
selectApplicableMatches() :
AdtOp
selectMappedObjByTs() :
AdtOp
shapeByIdent() :
FixedPoint
sl_dump() :
FixedPoint
- u -
uidOf() :
CodeStorage
- w -
waiveCloneOperation() :
Trace
widthOf() :
IR
Generated on Mon Nov 9 2015 14:51:59 for Predator by
1.8.1.2