|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AllocNode | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Uses of AllocNode in soot.jimple.spark.pag |
Subclasses of AllocNode in soot.jimple.spark.pag | |
class |
ClassConstantNode
Represents an allocation site node the represents a known java.lang.Class object. |
class |
StringConstantNode
Represents an allocation site node the represents a constant string. |
Fields in soot.jimple.spark.pag declared as AllocNode | |
protected AllocNode |
AllocDotField.base
|
Methods in soot.jimple.spark.pag that return AllocNode | |
AllocNode |
AllocDotField.getBase()
Returns the base AllocNode. |
AllocNode |
PAG.makeAllocNode(Object newExpr,
Type type,
SootMethod m)
|
AllocNode |
PAG.makeStringConstantNode(String s)
|
AllocNode |
PAG.makeClassConstantNode(ClassConstant cc)
|
Methods in soot.jimple.spark.pag with parameters of type AllocNode | |
boolean |
PAG.doAddAllocEdge(AllocNode from,
VarNode to)
|
Node[] |
PAG.allocLookup(AllocNode key)
|
AllocDotField |
PAG.findAllocDotField(AllocNode an,
SparkField field)
Finds the AllocDotField for base AllocNode an and field field, or returns null. |
AllocDotField |
PAG.makeAllocDotField(AllocNode an,
SparkField field)
Finds or creates the AllocDotField for base variable baseValue and field field, of type t. |
boolean |
PAG.addAllocEdge(AllocNode from,
VarNode to)
|
Uses of AllocNode in soot.jimple.spark.solver |
Methods in soot.jimple.spark.solver with parameters of type AllocNode | |
protected void |
Checker.handleAllocNode(AllocNode src)
|
protected void |
MergeChecker.handleAllocNode(AllocNode src)
|
protected boolean |
PropAlias.handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its successors. |
protected boolean |
PropIter.handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its successors. |
protected boolean |
PropMerge.handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its successors. |
protected boolean |
PropWorklist.handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its successors. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |