Uses of Interface
soot.PointsToSet

Packages that use PointsToSet

soot	Base Soot classes, shared by different intermediate representations.
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

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

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

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

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

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

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

protected Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCache
protected Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCache
protected Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCacheNoCGRefinement
protected Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCacheNoCGRefinement

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

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

boolean	AllocAndContextSet.hasNonEmptyIntersection(PointsToSet other)
boolean	LazyContextSensitivePointsToSet.hasNonEmptyIntersection(PointsToSet other)
boolean	WrappedPointsToSet.hasNonEmptyIntersection(PointsToSet other)
boolean	WrappedPointsToSet.hasNonEmptyIntersection(PointsToSet other)
boolean	LazyContextSensitivePointsToSet.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

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

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

interface

EqualsSupportingPointsToSet A points-to set supporting deep equals and hashCode operations.

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

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

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

Uses of PointsToSet in soot.jimple.toolkits.pointer

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

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

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

Map<Object,PointsToSet>	MethodRWSet.fields
Map<Object,PointsToSet>	MethodRWSet.fields

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

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

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.
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	FullObjectSet.addAll(PointsToSet s) Adds all objects in s into this union of sets, returning true if this union was changed.
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	StmtRWSet.addFieldRef(PointsToSet otherBase, Object field)
boolean	SiteRWSet.addFieldRef(PointsToSet otherBase, Object field)
abstract boolean	RWSet.addFieldRef(PointsToSet otherBase, Object field)
boolean	MethodRWSet.addFieldRef(PointsToSet otherBase, Object field)
boolean	FullRWSet.addFieldRef(PointsToSet otherBase, Object field)
boolean	CodeBlockRWSet.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	MemoryEfficientRasUnion.hasNonEmptyIntersection(PointsToSet other)
boolean	FullObjectSet.hasNonEmptyIntersection(PointsToSet other) Returns true if this set is a subset of 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.