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

Packages that use FieldRefNode

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

void	DotPointerGraph.addLoad(FieldRefNode from, VarNode to)
void	DotPointerGraph.addLoad(FieldRefNode from, VarNode to)
void	DotPointerGraph.addStore(VarNode from, FieldRefNode to)
void	DotPointerGraph.addStore(VarNode from, FieldRefNode to)

Uses of FieldRefNode in soot.jimple.spark.pag

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

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	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.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.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.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.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.
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)
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)

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

Collection<FieldRefNode>	VarNode.getAllFieldRefs() Returns all field ref nodes having this node as their base.
Collection<FieldRefNode>	VarNode.getAllFieldRefs() Returns all field ref nodes having this node as their base.

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

boolean	PAG.addLoadEdge(FieldRefNode from, VarNode to)
boolean	PAG.addLoadEdge(FieldRefNode from, VarNode to)
boolean	PAG.addStoreEdge(VarNode from, FieldRefNode to)
boolean	PAG.addStoreEdge(VarNode from, FieldRefNode to)
boolean	PAG.doAddLoadEdge(FieldRefNode from, VarNode to)
boolean	PAG.doAddLoadEdge(FieldRefNode from, VarNode to)
boolean	PAG.doAddStoreEdge(VarNode from, FieldRefNode to)
boolean	PAG.doAddStoreEdge(VarNode from, FieldRefNode to)
Node[]	PAG.loadLookup(FieldRefNode key)
Node[]	PAG.loadLookup(FieldRefNode key)
static String	PagToDotDumper.makeLabel(FieldRefNode node)
static String	PagToDotDumper.makeLabel(FieldRefNode node)
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)
Node[]	PAG.storeInvLookup(FieldRefNode key)
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

protected Set<FieldRefNode>	PropAlias.fieldRefWorkList
protected Set<FieldRefNode>	PropAlias.fieldRefWorkList
protected Set<FieldRefNode>	PropAlias.outFieldRefWorkList
protected Set<FieldRefNode>	PropAlias.outFieldRefWorkList

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

protected PointsToSetInternal	PropAlias.getP2Set(FieldRefNode n)
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 void	PropWorklist.handleFieldRefNode(FieldRefNode src, HashSet<Object[]> edgesToPropagate) Propagates new points-to information of node src to all its successors.
protected void	Checker.handleLoads(FieldRefNode src)
protected void	MergeChecker.handleLoads(FieldRefNode src)
protected boolean	PropIter.handleLoads(FieldRefNode src)
protected boolean	PropIter.handleLoads(FieldRefNode src)
protected void	MergeChecker.handleLoads(FieldRefNode src)
protected void	Checker.handleLoads(FieldRefNode src)
protected PointsToSetInternal	PropAlias.makeP2Set(FieldRefNode n)
protected PointsToSetInternal	PropAlias.makeP2Set(FieldRefNode n)