Uses of Interface
soot.PointsToSet

Packages that use PointsToSet
soot Base Soot classes, shared by different intermediate representations. 
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(Local l)
          Returns the set of objects pointed to by variable l.
 PointsToSet PointsToAnalysis.reachingObjects(Context c, Local l)
          Returns the set of objects pointed to by variable l in context c.
 PointsToSet PointsToAnalysis.reachingObjects(SootField f)
          Returns the set of objects pointed to by static field f.
 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(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(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.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
 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.
 boolean PointsToSet.hasNonEmptyIntersection(PointsToSet other)
          Returns true if this set shares some objects with other.
 

Uses of PointsToSet in soot.jimple.spark.pag
 

Methods in soot.jimple.spark.pag that return PointsToSet
 PointsToSet PAG.reachingObjects(Local l)
          Returns the set of objects pointed to by variable l.
 PointsToSet PAG.reachingObjects(Context c, Local l)
          Returns the set of objects pointed to by variable l in context c.
 PointsToSet PAG.reachingObjects(SootField f)
          Returns the set of objects pointed to by static field f.
 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.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(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.
 

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

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 PointsToSetInternal
          Abstract base class for implementations of points-to sets.
 class SharedPointsToSet
          Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.
 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 PointsToSetInternal.hasNonEmptyIntersection(PointsToSet 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
           
 

Methods in soot.jimple.toolkits.pointer that return PointsToSet
 PointsToSet DumbPointerAnalysis.reachingObjects(Local l)
          Returns the set of objects pointed to by variable l.
 PointsToSet DumbPointerAnalysis.reachingObjects(Context c, Local l)
          Returns the set of objects pointed to by variable l in context c.
 PointsToSet DumbPointerAnalysis.reachingObjects(SootField f)
          Returns the set of objects pointed to by static field f.
 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(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(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.reachingObjectsOfArrayElement(PointsToSet s)
          Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
 PointsToSet FullRWSet.getBaseForField(Object f)
           
 PointsToSet MethodRWSet.getBaseForField(Object f)
          Returns a set of base objects whose field f is read/written.
protected  PointsToSet PASideEffectTester.reachingObjects(Local l)
           
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.
 

Methods in soot.jimple.toolkits.pointer with parameters of type PointsToSet
 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.
 boolean FullObjectSet.hasNonEmptyIntersection(PointsToSet other)
          Returns true if this set is a subset of other.
 boolean FullObjectSet.addAll(PointsToSet s)
          Adds all objects in s into this union of sets, returning true if this union was changed.
 boolean FullRWSet.addFieldRef(PointsToSet otherBase, Object field)
           
 boolean MemoryEfficientRasUnion.hasNonEmptyIntersection(PointsToSet other)
           
 boolean MemoryEfficientRasUnion.addAll(PointsToSet s)
           
 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)
           
abstract  boolean Union.addAll(PointsToSet s)
          Adds all objects in s into this union of sets, returning true if this union was changed.
static boolean Union.hasNonEmptyIntersection(PointsToSet s1, PointsToSet s2)