soot.jimple.toolkits.pointer
Class DumbPointerAnalysis
java.lang.Object
|
+--soot.jimple.toolkits.pointer.DumbPointerAnalysis
- public class DumbPointerAnalysis
- extends java.lang.Object
- implements PointsToAnalysis
A very naive pointer analysis that just reports that any points can point
to any object.
Fields inherited from interface soot.PointsToAnalysis |
ARRAY_ELEMENTS_NODE,
CAST_NODE,
DEFAULT_CLASS_LOADER,
DEFAULT_CLASS_LOADER_LOCAL,
EXCEPTION_NODE,
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,
RETURN_NODE,
RETURN_STRING_CONSTANT_NODE,
STRING_ARRAY_NODE,
STRING_ARRAY_NODE_LOCAL,
STRING_NODE,
STRING_NODE_LOCAL,
THIS_NODE,
THROW_NODE |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
DumbPointerAnalysis
public DumbPointerAnalysis(Singletons.Global g)
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(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