|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.toolkits.pointer.DumbPointerAnalysis
public class DumbPointerAnalysis
A very naive pointer analysis that just reports that any points can point to any object.
Field Summary |
---|
Constructor Summary | |
---|---|
DumbPointerAnalysis(Singletons.Global g)
|
Method Summary | |
---|---|
PointsToSet |
reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c. |
PointsToSet |
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 |
reachingObjects(Local l)
Returns the set of objects pointed to by variable l. |
PointsToSet |
reachingObjects(Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l. |
PointsToSet |
reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s. |
PointsToSet |
reachingObjects(SootField f)
Returns the set of objects pointed to by static field f. |
PointsToSet |
reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s. |
static DumbPointerAnalysis |
v()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DumbPointerAnalysis(Singletons.Global g)
Method Detail |
---|
public static DumbPointerAnalysis v()
public PointsToSet reachingObjects(Local l)
reachingObjects
in interface PointsToAnalysis
public PointsToSet reachingObjects(Context c, Local l)
reachingObjects
in interface PointsToAnalysis
public PointsToSet reachingObjects(SootField f)
reachingObjects
in interface PointsToAnalysis
public PointsToSet reachingObjects(PointsToSet s, SootField f)
reachingObjects
in interface PointsToAnalysis
public PointsToSet reachingObjects(Local l, SootField f)
reachingObjects
in interface PointsToAnalysis
public PointsToSet reachingObjects(Context c, Local l, SootField f)
reachingObjects
in interface PointsToAnalysis
public PointsToSet reachingObjectsOfArrayElement(PointsToSet s)
reachingObjectsOfArrayElement
in interface PointsToAnalysis
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |