soot.jimple.toolkits.pointer
Class DumbPointerAnalysis

java.lang.Object
  extended by soot.jimple.toolkits.pointer.DumbPointerAnalysis
All Implemented Interfaces:
PointsToAnalysis

public class DumbPointerAnalysis
extends Object
implements PointsToAnalysis

A very naive pointer analysis that just reports that any points can point to any object.


Field Summary
 
Fields inherited from interface soot.PointsToAnalysis
ARRAY_ELEMENTS_NODE, CANONICAL_PATH, CANONICAL_PATH_LOCAL, CAST_NODE, DEFAULT_CLASS_LOADER, DEFAULT_CLASS_LOADER_LOCAL, EXCEPTION_NODE, FINALIZE_QUEUE, MAIN_CLASS_NAME_STRING, MAIN_CLASS_NAME_STRING_LOCAL, MAIN_THREAD_GROUP_NODE, MAIN_THREAD_GROUP_NODE_LOCAL, MAIN_THREAD_NODE, MAIN_THREAD_NODE_LOCAL, PHI_NODE, PRIVILEGED_ACTION_EXCEPTION, PRIVILEGED_ACTION_EXCEPTION_LOCAL, RETURN_NODE, RETURN_STRING_CONSTANT_NODE, STRING_ARRAY_NODE, STRING_ARRAY_NODE_LOCAL, STRING_NODE, STRING_NODE_LOCAL, THIS_NODE, THROW_NODE
 
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

DumbPointerAnalysis

public DumbPointerAnalysis(Singletons.Global g)
Method Detail

v

public static DumbPointerAnalysis v()

reachingObjects

public PointsToSet reachingObjects(Local l)
Returns the set of objects pointed to by variable l.

Specified by:
reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(Context c,
                                   Local l)
Returns the set of objects pointed to by variable l in context c.

Specified by:
reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.

Specified by:
reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(PointsToSet s,
                                   SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.

Specified by:
reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(Local l,
                                   SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l.

Specified by:
reachingObjects in interface PointsToAnalysis

reachingObjects

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

Specified by:
reachingObjects in interface PointsToAnalysis

reachingObjectsOfArrayElement

public PointsToSet reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.

Specified by:
reachingObjectsOfArrayElement in interface PointsToAnalysis