Uses of Interface
soot.jimple.spark.pag.SparkField

Packages that use SparkField

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.jimple.spark.geom.dataRep
soot.jimple.spark.geom.geomPA
soot.jimple.spark.ondemand
soot.jimple.spark.pag
soot.jimple.spark.solver

Uses of SparkField in soot

Classes in soot that implement SparkField

Modifier and Type	Class and Description
class	SootField Soot representation of a Java field.

Methods in soot that return types with arguments of type SparkField

Modifier and Type	Method and Description
Numberer<SparkField>	Scene.getFieldNumberer()
Numberer<SparkField>	Scene.getFieldNumberer()

Uses of SparkField in soot.jimple.spark.geom.dataRep

Fields in soot.jimple.spark.geom.dataRep declared as SparkField

Modifier and Type	Field and Description
SparkField	PlainConstraint.f The field that is involved in a complex constraint
SparkField	PlainConstraint.f The field that is involved in a complex constraint

Uses of SparkField in soot.jimple.spark.geom.geomPA

Methods in soot.jimple.spark.geom.geomPA with parameters of type SparkField

Modifier and Type	Method and Description
boolean	GeomQueries.contextByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Standard K-CFA querying for field expression.
boolean	GeomQueries.contextByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Standard K-CFA querying for field expression.
boolean	GeomQueries.contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Searching the points-to results for field expression such as p.f.
boolean	GeomQueries.contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Searching the points-to results for field expression such as p.f.
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field) Obtain or create an internal representation of an object field.
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field) Obtain or create an internal representation of an object field.
IVarAbstraction	GeomPointsTo.findInstanceField(AllocNode obj, SparkField field) Obtain the internal representation of an object field.
IVarAbstraction	GeomPointsTo.findInstanceField(AllocNode obj, SparkField field) Obtain the internal representation of an object field.

Uses of SparkField in soot.jimple.spark.ondemand

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

Modifier and Type	Method and Description
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)
boolean	EverythingHeuristic.validateMatchesForField(SparkField field)
boolean	FieldCheckHeuristic.validateMatchesForField(SparkField field)
boolean	IncrementalTypesHeuristic.validateMatchesForField(SparkField field)
boolean	InnerTypesIncrementalHeuristic.validateMatchesForField(SparkField field)
boolean	ManualAndInnerHeuristic.validateMatchesForField(SparkField field)
boolean	ManualFieldCheckHeuristic.validateMatchesForField(SparkField field)
boolean	NothingHeuristic.validateMatchesForField(SparkField field)
boolean	NothingHeuristic.validateMatchesForField(SparkField field)
boolean	IncrementalTypesHeuristic.validateMatchesForField(SparkField field)
boolean	InnerTypesIncrementalHeuristic.validateMatchesForField(SparkField field)
boolean	ManualAndInnerHeuristic.validateMatchesForField(SparkField field)
boolean	EverythingHeuristic.validateMatchesForField(SparkField field)
boolean	ManualFieldCheckHeuristic.validateMatchesForField(SparkField field)
boolean	FieldCheckHeuristic.validateMatchesForField(SparkField field)
boolean	EverythingHeuristic.validFromBothEnds(SparkField field)
boolean	FieldCheckHeuristic.validFromBothEnds(SparkField field)
boolean	IncrementalTypesHeuristic.validFromBothEnds(SparkField field)
boolean	InnerTypesIncrementalHeuristic.validFromBothEnds(SparkField field)
boolean	ManualAndInnerHeuristic.validFromBothEnds(SparkField field)
boolean	ManualFieldCheckHeuristic.validFromBothEnds(SparkField field)
boolean	NothingHeuristic.validFromBothEnds(SparkField field)
boolean	NothingHeuristic.validFromBothEnds(SparkField field)
boolean	IncrementalTypesHeuristic.validFromBothEnds(SparkField field)
boolean	InnerTypesIncrementalHeuristic.validFromBothEnds(SparkField field)
boolean	ManualAndInnerHeuristic.validFromBothEnds(SparkField field)
boolean	EverythingHeuristic.validFromBothEnds(SparkField field)
boolean	ManualFieldCheckHeuristic.validFromBothEnds(SparkField field)
boolean	FieldCheckHeuristic.validFromBothEnds(SparkField field)

Uses of SparkField in soot.jimple.spark.pag

Classes in soot.jimple.spark.pag that implement SparkField

Modifier and Type	Class and Description
class	ArrayElement Represents an array element.
class	Parm Represents a method parameter.

Fields in soot.jimple.spark.pag declared as SparkField

Modifier and Type	Field and Description
protected SparkField	AllocDotField.field
protected SparkField	FieldRefNode.field
protected SparkField	AllocDotField.field
protected SparkField	FieldRefNode.field

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

Modifier and Type	Field and Description
protected java.util.HashMap<SparkField,java.lang.Integer>	PAGDumper.fieldMap
protected java.util.HashMap<SparkField,java.lang.Integer>	PAGDumper.fieldMap
protected java.util.Map<SparkField,AllocDotField>	AllocNode.fields
protected java.util.Map<SparkField,FieldRefNode>	VarNode.fields
protected java.util.Map<SparkField,AllocDotField>	AllocNode.fields
protected java.util.Map<SparkField,FieldRefNode>	VarNode.fields

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

Modifier and Type	Method and Description
SparkField	AllocDotField.getField() Returns the field of this node.
SparkField	FieldRefNode.getField() Returns the field of this field reference.
SparkField	AllocDotField.getField() Returns the field of this node.
SparkField	FieldRefNode.getField() Returns the field of this field reference.

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

Modifier and Type	Method and Description
AllocDotField	AllocNode.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.
AllocDotField	AllocNode.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.
protected int	PAGDumper.fieldToNum(SparkField f)
protected int	PAGDumper.fieldToNum(SparkField f)
AllocDotField	PAG.findAllocDotField(AllocNode an, SparkField field) Finds the AllocDotField for base AllocNode an and field field, or returns null.
AllocDotField	PAG.findAllocDotField(AllocNode an, SparkField field) Finds the AllocDotField for base AllocNode an and field field, or returns null.
FieldRefNode	PAG.findGlobalFieldRefNode(java.lang.Object baseValue, SparkField field) Finds the FieldRefNode for base variable value and field field, or returns null.
FieldRefNode	PAG.findGlobalFieldRefNode(java.lang.Object baseValue, SparkField field) Finds the FieldRefNode for base variable value and field field, or returns null.
FieldRefNode	PAG.findLocalFieldRefNode(java.lang.Object baseValue, SparkField field) Finds the FieldRefNode for base variable value and field field, or returns null.
FieldRefNode	PAG.findLocalFieldRefNode(java.lang.Object baseValue, SparkField field) Finds the FieldRefNode for base variable value 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.
AllocDotField	PAG.makeAllocDotField(AllocNode an, SparkField field) Finds or creates the AllocDotField for base variable baseValue and field field, of type t.
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(java.lang.Object baseValue, Type baseType, SparkField field) Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
FieldRefNode	PAG.makeGlobalFieldRefNode(java.lang.Object baseValue, Type baseType, SparkField field) Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.
FieldRefNode	PAG.makeLocalFieldRefNode(java.lang.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(java.lang.Object baseValue, Type baseType, SparkField field, SootMethod method) Finds or creates the FieldRefNode for base variable baseValue and field field, of type type.

Uses of SparkField in soot.jimple.spark.solver

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

Modifier and Type	Field and Description
protected MultiMap<SparkField,VarNode>	MergeChecker.fieldToBase
protected MultiMap<SparkField,VarNode>	PropAlias.fieldToBase
protected MultiMap<SparkField,VarNode>	MergeChecker.fieldToBase
protected MultiMap<SparkField,VarNode>	PropAlias.fieldToBase