soot
Interface PointsToAnalysis
- All Known Implementing Classes:
- PAG, DumbPointerAnalysis
- public interface PointsToAnalysis
A generic interface to any type of pointer analysis.
THIS_NODE
public static final java.lang.Integer THIS_NODE
RETURN_NODE
public static final int RETURN_NODE
THROW_NODE
public static final java.lang.Integer THROW_NODE
ARRAY_ELEMENTS_NODE
public static final java.lang.Integer ARRAY_ELEMENTS_NODE
CAST_NODE
public static final java.lang.Integer CAST_NODE
STRING_ARRAY_NODE
public static final java.lang.Integer STRING_ARRAY_NODE
STRING_NODE
public static final java.lang.Integer STRING_NODE
STRING_NODE_LOCAL
public static final java.lang.Integer STRING_NODE_LOCAL
EXCEPTION_NODE
public static final java.lang.Integer EXCEPTION_NODE
RETURN_STRING_CONSTANT_NODE
public static final java.lang.Integer RETURN_STRING_CONSTANT_NODE
STRING_ARRAY_NODE_LOCAL
public static final java.lang.Integer STRING_ARRAY_NODE_LOCAL
MAIN_THREAD_NODE
public static final java.lang.Integer MAIN_THREAD_NODE
MAIN_THREAD_NODE_LOCAL
public static final java.lang.Integer MAIN_THREAD_NODE_LOCAL
MAIN_THREAD_GROUP_NODE
public static final java.lang.Integer MAIN_THREAD_GROUP_NODE
MAIN_THREAD_GROUP_NODE_LOCAL
public static final java.lang.Integer MAIN_THREAD_GROUP_NODE_LOCAL
MAIN_CLASS_NAME_STRING
public static final java.lang.Integer MAIN_CLASS_NAME_STRING
MAIN_CLASS_NAME_STRING_LOCAL
public static final java.lang.Integer MAIN_CLASS_NAME_STRING_LOCAL
DEFAULT_CLASS_LOADER
public static final java.lang.Integer DEFAULT_CLASS_LOADER
DEFAULT_CLASS_LOADER_LOCAL
public static final java.lang.Integer DEFAULT_CLASS_LOADER_LOCAL
reachingObjects
public PointsToSet reachingObjects(Local l)
- Returns the set of objects pointed to by variable l.
reachingObjects
public PointsToSet reachingObjects(SootField f)
- Returns the set of objects pointed to by static field f.
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.
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.