|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FieldRefNode | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Uses of FieldRefNode in soot.jimple.spark.pag |
Methods in soot.jimple.spark.pag that return FieldRefNode | |
protected FieldRefNode |
MethodPAG.parameterize(FieldRefNode frn,
Context varNodeParameter)
|
FieldRefNode |
PAG.findLocalFieldRefNode(Object baseValue,
SparkField field)
Finds the FieldRefNode for base variable value and field field, or returns null. |
FieldRefNode |
PAG.findGlobalFieldRefNode(Object baseValue,
SparkField field)
Finds the FieldRefNode for base variable value and field field, or returns null. |
FieldRefNode |
PAG.makeLocalFieldRefNode(Object baseValue,
Type baseType,
SparkField field,
SootMethod method)
Finds or creates the FieldRefNode for base variable baseValue and field field, of type type. |
FieldRefNode |
PAG.makeGlobalFieldRefNode(Object baseValue,
Type baseType,
SparkField field)
Finds or creates the FieldRefNode for base variable baseValue and field field, of type type. |
FieldRefNode |
PAG.makeFieldRefNode(VarNode base,
SparkField field)
Finds or creates the FieldRefNode for base variable base and field field, of type type. |
FieldRefNode |
VarNode.dot(SparkField field)
Returns the field ref node having this node as its base, and field as its field; null if nonexistent. |
Methods in soot.jimple.spark.pag with parameters of type FieldRefNode | |
protected FieldRefNode |
MethodPAG.parameterize(FieldRefNode frn,
Context varNodeParameter)
|
boolean |
PAG.doAddStoreEdge(VarNode from,
FieldRefNode to)
|
boolean |
PAG.doAddLoadEdge(FieldRefNode from,
VarNode to)
|
Node[] |
PAG.loadLookup(FieldRefNode key)
|
Node[] |
PAG.storeInvLookup(FieldRefNode key)
|
boolean |
PAG.addStoreEdge(VarNode from,
FieldRefNode to)
|
boolean |
PAG.addLoadEdge(FieldRefNode from,
VarNode to)
|
Uses of FieldRefNode in soot.jimple.spark.solver |
Methods in soot.jimple.spark.solver with parameters of type FieldRefNode | |
protected void |
Checker.handleLoads(FieldRefNode src)
|
protected void |
MergeChecker.handleLoads(FieldRefNode src)
|
protected PointsToSetInternal |
PropAlias.makeP2Set(FieldRefNode n)
|
protected PointsToSetInternal |
PropAlias.getP2Set(FieldRefNode n)
|
protected boolean |
PropIter.handleLoads(FieldRefNode src)
|
protected void |
PropWorklist.handleFieldRefNode(FieldRefNode src,
HashSet edgesToPropagate)
Propagates new points-to information of node src to all its successors. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |