|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |