|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VarNode | |
soot.jimple.spark.builder | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Uses of VarNode in soot.jimple.spark.builder |
Methods in soot.jimple.spark.builder with parameters of type VarNode | |
Node |
GlobalNodeFactory.caseNewInstance(VarNode cls)
|
Node |
MethodNodeFactory.caseArray(VarNode base)
|
Uses of VarNode in soot.jimple.spark.pag |
Subclasses of VarNode in soot.jimple.spark.pag | |
class |
ContextVarNode
Represents a simple variable node with context. |
class |
GlobalVarNode
Represents a simple variable node (Green) in the pointer assignment graph that is not associated with any particular method invocation. |
class |
LocalVarNode
Represents a simple variable node (Green) in the pointer assignment graph that is specific to a particular method invocation. |
Fields in soot.jimple.spark.pag declared as VarNode | |
protected VarNode |
FieldRefNode.base
|
Methods in soot.jimple.spark.pag that return VarNode | |
VarNode |
FieldRefNode.getBase()
Returns the base of this field reference. |
protected VarNode |
MethodPAG.parameterize(LocalVarNode vn,
Context varNodeParameter)
|
Methods in soot.jimple.spark.pag with parameters of type VarNode | |
boolean |
PAG.doAddSimpleEdge(VarNode from,
VarNode to)
|
boolean |
PAG.doAddStoreEdge(VarNode from,
FieldRefNode to)
|
boolean |
PAG.doAddLoadEdge(FieldRefNode from,
VarNode to)
|
boolean |
PAG.doAddAllocEdge(AllocNode from,
VarNode to)
|
Node[] |
PAG.simpleLookup(VarNode key)
|
Node[] |
PAG.simpleInvLookup(VarNode key)
|
Node[] |
PAG.loadInvLookup(VarNode key)
|
Node[] |
PAG.storeLookup(VarNode key)
|
Node[] |
PAG.allocInvLookup(VarNode key)
|
FieldRefNode |
PAG.makeFieldRefNode(VarNode base,
SparkField field)
Finds or creates the FieldRefNode for base variable base and field field, of type type. |
boolean |
PAG.addSimpleEdge(VarNode from,
VarNode to)
|
boolean |
PAG.addStoreEdge(VarNode from,
FieldRefNode to)
|
boolean |
PAG.addLoadEdge(FieldRefNode from,
VarNode to)
|
boolean |
PAG.addAllocEdge(AllocNode from,
VarNode to)
|
void |
PAG.addDereference(VarNode base)
Adds the base of a dereference to the list of dereferenced variables. |
protected void |
PAG2HTML.dumpVarNode(VarNode v,
JarOutputStream jarOut)
|
protected String |
PAG2HTML.varNodeReps(VarNode v)
|
protected String |
PAG2HTML.varNode(String dirPrefix,
VarNode vv)
|
Uses of VarNode in soot.jimple.spark.solver |
Methods in soot.jimple.spark.solver with parameters of type VarNode | |
protected void |
Checker.handleSimples(VarNode src)
|
protected void |
Checker.handleStores(VarNode src)
|
protected void |
MergeChecker.handleSimples(VarNode src)
|
protected void |
MergeChecker.handleStores(VarNode src)
|
void |
OnFlyCallGraph.updatedNode(VarNode vn)
|
protected boolean |
PropAlias.handleVarNode(VarNode src)
Propagates new points-to information of node src to all its successors. |
protected boolean |
PropIter.handleSimples(VarNode src)
|
protected boolean |
PropIter.handleStores(VarNode src)
|
protected boolean |
PropMerge.handleVarNode(VarNode src)
Propagates new points-to information of node src to all its successors. |
protected boolean |
PropWorklist.handleVarNode(VarNode src)
Propagates new points-to information of node src to all its successors. |
protected void |
SCCCollapser.dfsVisit(VarNode v,
VarNode rootOfSCC)
|
protected void |
TopoSorter.dfsVisit(VarNode n)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |