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

Packages that use SparkField

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

Uses of SparkField in soot

Classes in soot that implement SparkField

class

SootField Soot representation of a Java field.

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

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

SparkField	PlainConstraint.f The field that is involved in a complex constraint
SparkField	PlainConstraint.f The field that is involved in a complex constraint

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

IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)

Uses of SparkField in soot.jimple.spark.ondemand

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

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	ManualFieldCheckHeuristic.validateMatchesForField(SparkField field)
boolean	ManualAndInnerHeuristic.validateMatchesForField(SparkField field)
boolean	InnerTypesIncrementalHeuristic.validateMatchesForField(SparkField field)
boolean	IncrementalTypesHeuristic.validateMatchesForField(SparkField field)
boolean	FieldCheckHeuristic.validateMatchesForField(SparkField field)
boolean	EverythingHeuristic.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	ManualFieldCheckHeuristic.validFromBothEnds(SparkField field)
boolean	ManualAndInnerHeuristic.validFromBothEnds(SparkField field)
boolean	InnerTypesIncrementalHeuristic.validFromBothEnds(SparkField field)
boolean	IncrementalTypesHeuristic.validFromBothEnds(SparkField field)
boolean	FieldCheckHeuristic.validFromBothEnds(SparkField field)
boolean	EverythingHeuristic.validFromBothEnds(SparkField field)

Uses of SparkField in soot.jimple.spark.pag

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

class	ArrayElement Represents an array element.
class	Parm Represents a method parameter.

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

protected SparkField	AllocDotField.field
protected SparkField	FieldRefNode.field
protected SparkField	FieldRefNode.field
protected SparkField	AllocDotField.field

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

protected HashMap<SparkField,Integer>	PAGDumper.fieldMap
protected HashMap<SparkField,Integer>	PAGDumper.fieldMap

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

SparkField	AllocDotField.getField() Returns the field of this node.
SparkField	FieldRefNode.getField() Returns the field of this field reference.
SparkField	FieldRefNode.getField() Returns the field of this field reference.
SparkField	AllocDotField.getField() Returns the field of this node.

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

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.
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.
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(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.
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(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.