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 |
Modifier and Type | Class and Description |
---|---|
class |
SootField
Soot representation of a Java field.
|
Modifier and Type | Method and Description |
---|---|
Numberer<SparkField> |
Scene.getFieldNumberer() |
Numberer<SparkField> |
Scene.getFieldNumberer() |
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
|
Modifier and Type | Method and Description |
---|---|
boolean |
GeomQueries.contextsByAnyCallEdge(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByAnyCallEdge(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Searching the points-to results for field expression such as p.f.
|
boolean |
GeomQueries.contextsGoBy(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.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Standard K-CFA querying for field expression.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Standard K-CFA querying for field expression.
|
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) |
Modifier and Type | Class and Description |
---|---|
class |
ArrayElement
Represents an array element.
|
class |
Parm
Represents a method parameter.
|
Modifier and Type | Field and Description |
---|---|
protected SparkField |
AllocDotField.field |
protected SparkField |
FieldRefNode.field |
protected SparkField |
AllocDotField.field |
protected SparkField |
FieldRefNode.field |
Modifier and Type | Field and Description |
---|---|
protected HashMap<SparkField,Integer> |
PAGDumper.fieldMap |
protected HashMap<SparkField,Integer> |
PAGDumper.fieldMap |
protected Map<SparkField,AllocDotField> |
AllocNode.fields |
protected Map<SparkField,FieldRefNode> |
VarNode.fields |
protected Map<SparkField,AllocDotField> |
AllocNode.fields |
protected Map<SparkField,FieldRefNode> |
VarNode.fields |
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.
|
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(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.
|
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 |