Uses of Interface
soot.PointsToSet

Packages that use PointsToSet

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

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

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

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

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

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