Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.spark.geom.dataMgr | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.ondemand | |
soot.jimple.spark.pag | |
soot.jimple.spark.sets | |
soot.jimple.toolkits.pointer |
Modifier and Type | Method and Description |
---|---|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l.
|
PointsToSet |
PointsToAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
PointsToAnalysis.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
Modifier and Type | Method and Description |
---|---|
boolean |
PointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
boolean |
PointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
PointsToSet |
PointsToAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
Modifier and Type | Method and Description |
---|---|
PointsToSet |
PtSensVisitor.toSparkCompatiableResult(VarNode vn)
Transform the result to SPARK style context insensitive points-to set.
|
PointsToSet |
PtSensVisitor.toSparkCompatiableResult(VarNode vn)
Transform the result to SPARK style context insensitive points-to set.
|
Modifier and Type | Method and Description |
---|---|
PointsToSet |
GeomPointsTo.reachingObjects(PointsToSet s,
SootField f) |
PointsToSet |
GeomPointsTo.reachingObjects(PointsToSet s,
SootField f) |
PointsToSet |
GeomPointsTo.reachingObjectsOfArrayElement(PointsToSet s) |
PointsToSet |
GeomPointsTo.reachingObjectsOfArrayElement(PointsToSet s) |
Modifier and Type | Class and Description |
---|---|
class |
AllocAndContextSet |
class |
LazyContextSensitivePointsToSet
This is a lazy points-to set that is potentially context sensitive.
|
class |
WrappedPointsToSet |
Modifier and Type | Field and Description |
---|---|
protected Map<Local,PointsToSet> |
DemandCSPointsTo.reachingObjectsCache |
protected Map<Local,PointsToSet> |
DemandCSPointsTo.reachingObjectsCache |
protected Map<Local,PointsToSet> |
DemandCSPointsTo.reachingObjectsCacheNoCGRefinement |
protected Map<Local,PointsToSet> |
DemandCSPointsTo.reachingObjectsCacheNoCGRefinement |
Modifier and Type | Method and Description |
---|---|
protected PointsToSet |
DemandCSPointsTo.computeReachingObjects(Local l)
Computes the possibly refined set of reaching objects for l.
|
protected PointsToSet |
DemandCSPointsTo.computeReachingObjects(Local l)
Computes the possibly refined set of reaching objects for l.
|
protected PointsToSet |
DemandCSPointsTo.computeRefinedReachingObjects(VarNode v)
Computes the refined set of reaching objects for l.
|
protected PointsToSet |
DemandCSPointsTo.computeRefinedReachingObjects(VarNode v)
Computes the refined set of reaching objects for l.
|
PointsToSet |
DemandCSPointsTo.doReachingObjects(Local l) |
PointsToSet |
DemandCSPointsTo.doReachingObjects(Local l) |
PointsToSet |
DemandCSPointsTo.reachingObjects(Context c,
Local l)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(Context c,
Local l)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(Context c,
Local l,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(Context c,
Local l,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(Local l) |
PointsToSet |
DemandCSPointsTo.reachingObjects(Local l) |
PointsToSet |
DemandCSPointsTo.reachingObjects(Local l,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(Local l,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(PointsToSet s,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(PointsToSet s,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjectsOfArrayElement(PointsToSet s)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjectsOfArrayElement(PointsToSet s)
Currently not implemented.
|
Modifier and Type | Method and Description |
---|---|
boolean |
AllocAndContextSet.hasNonEmptyIntersection(PointsToSet other) |
boolean |
LazyContextSensitivePointsToSet.hasNonEmptyIntersection(PointsToSet other) |
boolean |
WrappedPointsToSet.hasNonEmptyIntersection(PointsToSet other) |
boolean |
LazyContextSensitivePointsToSet.hasNonEmptyIntersection(PointsToSet other) |
boolean |
WrappedPointsToSet.hasNonEmptyIntersection(PointsToSet other) |
boolean |
AllocAndContextSet.hasNonEmptyIntersection(PointsToSet other) |
PointsToSet |
DemandCSPointsTo.reachingObjects(PointsToSet s,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjects(PointsToSet s,
SootField f)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjectsOfArrayElement(PointsToSet s)
Currently not implemented.
|
PointsToSet |
DemandCSPointsTo.reachingObjectsOfArrayElement(PointsToSet s)
Currently not implemented.
|
Modifier and Type | Method and Description |
---|---|
PointsToSet |
PAG.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PAG.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PAG.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
pointed to by l in context c.
|
PointsToSet |
PAG.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
pointed to by l in context c.
|
PointsToSet |
PAG.reachingObjects(Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
PAG.reachingObjects(Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
PAG.reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
pointed to by l.
|
PointsToSet |
PAG.reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
pointed to by l.
|
PointsToSet |
PAG.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
in the PointsToSet s.
|
PointsToSet |
PAG.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
in the PointsToSet s.
|
PointsToSet |
PAG.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
PAG.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
PAG.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the
PointsToSet s.
|
PointsToSet |
PAG.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the
PointsToSet s.
|
Modifier and Type | Method and Description |
---|---|
PointsToSet |
PAG.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
in the PointsToSet s.
|
PointsToSet |
PAG.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects
in the PointsToSet s.
|
PointsToSet |
PAG.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the
PointsToSet s.
|
PointsToSet |
PAG.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the
PointsToSet s.
|
Modifier and Type | Interface and Description |
---|---|
interface |
EqualsSupportingPointsToSet
A points-to set supporting deep equals and hashCode operations.
|
Modifier and Type | Class and Description |
---|---|
class |
BitPointsToSet
Implementation of points-to set using a bit vector.
|
class |
DoublePointsToSet
Implementation of points-to set that holds two sets: one for new
elements that have not yet been propagated, and the other for elements
that have already been propagated.
|
class |
EmptyPointsToSet
Implementation of an empty, immutable points-to set.
|
class |
HashPointsToSet
HashSet implementation of points-to set.
|
class |
HybridPointsToSet
Hybrid implementation of points-to set, which uses an explicit array for
small sets, and a bit vector for large sets.
|
class |
PointsToSetEqualsWrapper
A decorator that implements equals/hashCode for
PointsToSet supporting the EqualsSupportingPointsToSet interface. |
class |
PointsToSetInternal
Abstract base class for implementations of points-to sets.
|
class |
SharedHybridSet
A shared representation of a points-to set which uses a bit vector + a list
of extra elements, an "overflow list", to make adding single elements fast in
most cases.
|
class |
SharedListSet
Implementation of a points-to set as a sorted list of elements,
but where similar lists share parts of their data.
|
class |
SortedArraySet
Implementation of points-to set using a sorted array.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DoublePointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
boolean |
EmptyPointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
boolean |
PointsToSetEqualsWrapper.hasNonEmptyIntersection(PointsToSet other) |
boolean |
PointsToSetInternal.hasNonEmptyIntersection(PointsToSet other) |
boolean |
PointsToSetInternal.hasNonEmptyIntersection(PointsToSet other) |
boolean |
EmptyPointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
boolean |
DoublePointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
boolean |
PointsToSetEqualsWrapper.hasNonEmptyIntersection(PointsToSet other) |
Modifier and Type | Class and Description |
---|---|
class |
FullObjectSet |
class |
MemoryEfficientRasUnion |
class |
Union
A generic interface to some set of runtime objects computed by a pointer analysis.
|
Modifier and Type | Field and Description |
---|---|
protected PointsToSet |
StmtRWSet.base |
protected PointsToSet |
StmtRWSet.base |
protected PointsToSet |
InstanceKey.pts |
protected PointsToSet |
InstanceKey.pts |
Modifier and Type | Field and Description |
---|---|
Map<Object,PointsToSet> |
MethodRWSet.fields |
Map<Object,PointsToSet> |
MethodRWSet.fields |
Modifier and Type | Method and Description |
---|---|
PointsToSet |
FullRWSet.getBaseForField(Object f) |
PointsToSet |
MethodRWSet.getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
abstract PointsToSet |
RWSet.getBaseForField(Object f) |
PointsToSet |
SiteRWSet.getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
PointsToSet |
StmtRWSet.getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
PointsToSet |
FullRWSet.getBaseForField(Object f) |
abstract PointsToSet |
RWSet.getBaseForField(Object f) |
PointsToSet |
SiteRWSet.getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
PointsToSet |
StmtRWSet.getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
PointsToSet |
MethodRWSet.getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
PointsToSet |
InstanceKey.getPointsToSet() |
PointsToSet |
InstanceKey.getPointsToSet() |
PointsToSet |
DumbPointerAnalysis.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l in context c.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l in context c.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Local l)
Returns the set of objects pointed to by variable l.
|
protected PointsToSet |
PASideEffectTester.reachingObjects(Local l) |
protected PointsToSet |
PASideEffectTester.reachingObjects(Local l) |
PointsToSet |
DumbPointerAnalysis.reachingObjects(Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects pointed to by l.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
DumbPointerAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
PointsToSet |
DumbPointerAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
Modifier and Type | Method and Description |
---|---|
boolean |
FullObjectSet.addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this
union was changed.
|
boolean |
MemoryEfficientRasUnion.addAll(PointsToSet s) |
abstract boolean |
Union.addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this
union was changed.
|
boolean |
FullObjectSet.addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this
union was changed.
|
abstract boolean |
Union.addAll(PointsToSet s)
Adds all objects in s into this union of sets, returning true if this
union was changed.
|
boolean |
MemoryEfficientRasUnion.addAll(PointsToSet s) |
boolean |
CodeBlockRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
FullRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
MethodRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
abstract boolean |
RWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
SiteRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
StmtRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
CodeBlockRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
FullRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
abstract boolean |
RWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
SiteRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
StmtRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
MethodRWSet.addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
FullObjectSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set is a subset of other.
|
boolean |
MemoryEfficientRasUnion.hasNonEmptyIntersection(PointsToSet other) |
boolean |
FullObjectSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set is a subset of other.
|
boolean |
MemoryEfficientRasUnion.hasNonEmptyIntersection(PointsToSet other) |
static boolean |
Union.hasNonEmptyIntersection(PointsToSet s1,
PointsToSet s2) |
static boolean |
Union.hasNonEmptyIntersection(PointsToSet s1,
PointsToSet s2) |
PointsToSet |
DumbPointerAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
DumbPointerAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f
of the objects in the PointsToSet s.
|
PointsToSet |
DumbPointerAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|
PointsToSet |
DumbPointerAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays
in the PointsToSet s.
|