soot
Interface PointsToAnalysis

All Known Implementing Classes:
PAG, DumbPointerAnalysis

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 DEFAULT_CLASS_LOADER
           
static java.lang.Integer DEFAULT_CLASS_LOADER_LOCAL
           
static java.lang.Integer EXCEPTION_NODE
           
static java.lang.Integer MAIN_CLASS_NAME_STRING
           
static java.lang.Integer MAIN_CLASS_NAME_STRING_LOCAL
           
static java.lang.Integer MAIN_THREAD_GROUP_NODE
           
static java.lang.Integer MAIN_THREAD_GROUP_NODE_LOCAL
           
static java.lang.Integer MAIN_THREAD_NODE
           
static java.lang.Integer MAIN_THREAD_NODE_LOCAL
           
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(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.
 

Field Detail

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

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.