soot.jimple.spark
Interface PointsToAnalysis
- All Known Implementing Classes:
- PAG, VariableTypeAnalysis
- 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
- See Also:
- Constant Field Values
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
reachingObjects
public PointsToSet reachingObjects(SootMethod method,
Stmt stmt,
Local l)
- Returns the set of objects reaching variable l before stmt in method.