soot.jimple.spark
Interface PointsToAnalysis

All Known Implementing Classes:
PAG, VariableTypeAnalysis

public interface PointsToAnalysis

A generic interface to any type of pointer analysis.


Field Summary
static java.lang.Integer ARRAY_ELEMENTS_NODE
           
static java.lang.Integer CAST_NODE
           
static java.lang.Integer EXCEPTION_NODE
           
static int RETURN_NODE
           
static java.lang.Integer RETURN_STRING_CONSTANT_NODE
           
static java.lang.Integer STRING_ARRAY_NODE
           
static java.lang.Integer STRING_ARRAY_NODE_LOCAL
           
static java.lang.Integer STRING_NODE
           
static java.lang.Integer STRING_NODE_LOCAL
           
static java.lang.Integer THIS_NODE
           
static java.lang.Integer THROW_NODE
           
 
Method Summary
 PointsToSet reachingObjects(SootMethod method, Stmt stmt, Local l)
          Returns the set of objects reaching variable l before stmt in method.
 

Field Detail

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
Method Detail

reachingObjects

public PointsToSet reachingObjects(SootMethod method,
                                   Stmt stmt,
                                   Local l)
Returns the set of objects reaching variable l before stmt in method.