Uses of Interface
soot.PointsToSet

Packages that use PointsToSet

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

Uses of PointsToSet in soot

Methods in soot that return PointsToSet

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.

Methods in soot with parameters of type PointsToSet

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.

Uses of PointsToSet in soot.jimple.spark.geom.dataMgr

Methods in soot.jimple.spark.geom.dataMgr that return PointsToSet

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.

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

Methods in soot.jimple.spark.geom.geomPA that return PointsToSet

Modifier and Type	Method and Description
PointsToSet	GeomPointsTo.reachingObjects(AllocNode an, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(AllocNode an, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(Local l)
PointsToSet	GeomPointsTo.reachingObjects(Local l)
PointsToSet	GeomPointsTo.reachingObjects(Local l, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(Local l, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(PointsToSet s, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(PointsToSet s, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(SootField f)
PointsToSet	GeomPointsTo.reachingObjects(SootField f)
PointsToSet	GeomPointsTo.reachingObjectsOfArrayElement(PointsToSet s)
PointsToSet	GeomPointsTo.reachingObjectsOfArrayElement(PointsToSet s)

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

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)

Uses of PointsToSet in soot.jimple.spark.ondemand

Classes in soot.jimple.spark.ondemand that implement PointsToSet

Modifier and Type	Class and Description
class	AllocAndContextSet
class	LazyContextSensitivePointsToSet This is a lazy points-to set that is potentially context sensitive.
class	WrappedPointsToSet

Fields in soot.jimple.spark.ondemand with type parameters of type PointsToSet

Modifier and Type	Field and Description
protected java.util.Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCache
protected java.util.Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCache
protected java.util.Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCacheNoCGRefinement
protected java.util.Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCacheNoCGRefinement

Methods in soot.jimple.spark.ondemand that return PointsToSet

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.

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

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.

Uses of PointsToSet in soot.jimple.spark.pag

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

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.

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

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.

Uses of PointsToSet in soot.jimple.spark.sets

Subinterfaces of PointsToSet in soot.jimple.spark.sets

Modifier and Type	Interface and Description
interface	EqualsSupportingPointsToSet A points-to set supporting deep equals and hashCode operations.

Classes in soot.jimple.spark.sets that implement PointsToSet

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.

Methods in soot.jimple.spark.sets with parameters of type PointsToSet

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)

Uses of PointsToSet in soot.jimple.toolkits.pointer

Classes in soot.jimple.toolkits.pointer that implement PointsToSet

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.

Fields in soot.jimple.toolkits.pointer declared as PointsToSet

Modifier and Type	Field and Description
protected PointsToSet	StmtRWSet.base
protected PointsToSet	StmtRWSet.base
protected PointsToSet	InstanceKey.pts
protected PointsToSet	InstanceKey.pts

Fields in soot.jimple.toolkits.pointer with type parameters of type PointsToSet

Modifier and Type	Field and Description
java.util.Map<java.lang.Object,PointsToSet>	MethodRWSet.fields
java.util.Map<java.lang.Object,PointsToSet>	MethodRWSet.fields

Methods in soot.jimple.toolkits.pointer that return PointsToSet

Modifier and Type	Method and Description
PointsToSet	FullRWSet.getBaseForField(java.lang.Object f)
PointsToSet	MethodRWSet.getBaseForField(java.lang.Object f) Returns a set of base objects whose field f is read/written.
abstract PointsToSet	RWSet.getBaseForField(java.lang.Object f)
PointsToSet	SiteRWSet.getBaseForField(java.lang.Object f) Returns a set of base objects whose field f is read/written.
PointsToSet	StmtRWSet.getBaseForField(java.lang.Object f) Returns a set of base objects whose field f is read/written.
PointsToSet	FullRWSet.getBaseForField(java.lang.Object f)
abstract PointsToSet	RWSet.getBaseForField(java.lang.Object f)
PointsToSet	SiteRWSet.getBaseForField(java.lang.Object f) Returns a set of base objects whose field f is read/written.
PointsToSet	StmtRWSet.getBaseForField(java.lang.Object f) Returns a set of base objects whose field f is read/written.
PointsToSet	MethodRWSet.getBaseForField(java.lang.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.

Methods in soot.jimple.toolkits.pointer with parameters of type PointsToSet

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, java.lang.Object field)
boolean	FullRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	MethodRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
abstract boolean	RWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	SiteRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	StmtRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	CodeBlockRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	FullRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
abstract boolean	RWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	SiteRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	StmtRWSet.addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	MethodRWSet.addFieldRef(PointsToSet otherBase, java.lang.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.