Uses of Class
soot.jimple.spark.pag.FieldRefNode

Packages that use FieldRefNode

Package	Description
soot.jimple.spark.ondemand
soot.jimple.spark.pag
soot.jimple.spark.solver

Uses of FieldRefNode in soot.jimple.spark.ondemand

Methods in soot.jimple.spark.ondemand with parameters of type FieldRefNode

Modifier and Type	Method and Description
void	DotPointerGraph.addLoad(FieldRefNode from, VarNode to)
void	DotPointerGraph.addStore(VarNode from, FieldRefNode to)

Uses of FieldRefNode in soot.jimple.spark.pag

Fields in soot.jimple.spark.pag with type parameters of type FieldRefNode

Modifier and Type	Field and Description
protected Map<SparkField,FieldRefNode>	VarNode.fields
protected Map<FieldRefNode,Object>	PAG.load
protected Map<FieldRefNode,Object>	PAG.storeInv

Methods in soot.jimple.spark.pag that return FieldRefNode

Modifier and Type	Method and Description
FieldRefNode	VarNode.dot(SparkField field) Returns the field ref node having this node as its base, and field as its field; null if nonexistent.
FieldRefNode	PAG.findGlobalFieldRefNode(Object baseValue, SparkField field) Finds the FieldRefNode for base variable value and field field, or returns null.
FieldRefNode	PAG.findLocalFieldRefNode(Object baseValue, SparkField field) Finds the FieldRefNode for base variable value and field field, or returns null.
FieldRefNode	PAG.makeFieldRefNode(VarNode base, SparkField field) Finds or creates the FieldRefNode for base variable base 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.makeLocalFieldRefNode(Object baseValue, Type baseType, SparkField field, SootMethod method) Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)

Methods in soot.jimple.spark.pag that return types with arguments of type FieldRefNode

Modifier and Type	Method and Description
Collection<FieldRefNode>	VarNode.getAllFieldRefs() Returns all field ref nodes having this node as their base.
ArrayNumberer<FieldRefNode>	PAG.getFieldRefNodeNumberer()
Set<FieldRefNode>	PAG.loadSources()
Iterator<FieldRefNode>	PAG.loadSourcesIterator()
Set<FieldRefNode>	PAG.storeInvSources()
Iterator<FieldRefNode>	PAG.storeInvSourcesIterator()

Methods in soot.jimple.spark.pag with parameters of type FieldRefNode

Modifier and Type	Method and Description
boolean	PAG.addLoadEdge(FieldRefNode from, VarNode to)
boolean	PAG.addStoreEdge(VarNode from, FieldRefNode to)
boolean	PAG.doAddLoadEdge(FieldRefNode from, VarNode to)
boolean	PAG.doAddStoreEdge(VarNode from, FieldRefNode to)
Node[]	PAG.loadLookup(FieldRefNode key)
static String	PagToDotDumper.makeLabel(FieldRefNode node)
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)
Node[]	PAG.storeInvLookup(FieldRefNode key)

Uses of FieldRefNode in soot.jimple.spark.solver

Fields in soot.jimple.spark.solver with type parameters of type FieldRefNode

Modifier and Type	Field and Description
protected MultiMap<FieldRefNode,FieldRefNode>	PropAlias.aliasEdges
protected MultiMap<FieldRefNode,FieldRefNode>	PropAlias.aliasEdges
protected Set<FieldRefNode>	PropAlias.fieldRefWorkList
protected LargeNumberedMap<FieldRefNode,PointsToSetInternal>	PropAlias.loadSets
protected Set<FieldRefNode>	PropAlias.outFieldRefWorkList

Methods in soot.jimple.spark.solver with parameters of type FieldRefNode

Modifier and Type	Method and Description
protected PointsToSetInternal	PropAlias.getP2Set(FieldRefNode n)
protected void	PropWorklist.handleFieldRefNode(FieldRefNode src, HashSet<Object[]> edgesToPropagate) Propagates new points-to information of node src to all its successors.
protected boolean	PropIter.handleLoads(FieldRefNode src)
protected void	Checker.handleLoads(FieldRefNode src)
protected void	MergeChecker.handleLoads(FieldRefNode src)
protected PointsToSetInternal	PropAlias.makeP2Set(FieldRefNode n)