|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A generic interface to any type of pointer analysis.
Field Summary | |
static String |
ARRAY_ELEMENTS_NODE
|
static String |
CANONICAL_PATH
|
static String |
CANONICAL_PATH_LOCAL
|
static String |
CAST_NODE
|
static String |
DEFAULT_CLASS_LOADER
|
static String |
DEFAULT_CLASS_LOADER_LOCAL
|
static String |
EXCEPTION_NODE
|
static String |
FINALIZE_QUEUE
|
static String |
MAIN_CLASS_NAME_STRING
|
static String |
MAIN_CLASS_NAME_STRING_LOCAL
|
static String |
MAIN_THREAD_GROUP_NODE
|
static String |
MAIN_THREAD_GROUP_NODE_LOCAL
|
static String |
MAIN_THREAD_NODE
|
static String |
MAIN_THREAD_NODE_LOCAL
|
static String |
PHI_NODE
|
static String |
PRIVILEGED_ACTION_EXCEPTION
|
static String |
PRIVILEGED_ACTION_EXCEPTION_LOCAL
|
static int |
RETURN_NODE
|
static String |
RETURN_STRING_CONSTANT_NODE
|
static String |
STRING_ARRAY_NODE
|
static String |
STRING_ARRAY_NODE_LOCAL
|
static String |
STRING_NODE
|
static String |
STRING_NODE_LOCAL
|
static String |
THIS_NODE
|
static String |
THROW_NODE
|
Method Summary | |
PointsToSet |
reachingObjects(Context c,
Local l)
Returns the set of objects pointed to by variable l in context c. |
PointsToSet |
reachingObjects(Context c,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c. |
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. |
PointsToSet |
reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s. |
Field Detail |
public static final String THIS_NODE
public static final int RETURN_NODE
public static final String THROW_NODE
public static final String ARRAY_ELEMENTS_NODE
public static final String CAST_NODE
public static final String STRING_ARRAY_NODE
public static final String STRING_NODE
public static final String STRING_NODE_LOCAL
public static final String EXCEPTION_NODE
public static final String RETURN_STRING_CONSTANT_NODE
public static final String STRING_ARRAY_NODE_LOCAL
public static final String MAIN_THREAD_NODE
public static final String MAIN_THREAD_NODE_LOCAL
public static final String MAIN_THREAD_GROUP_NODE
public static final String MAIN_THREAD_GROUP_NODE_LOCAL
public static final String MAIN_CLASS_NAME_STRING
public static final String MAIN_CLASS_NAME_STRING_LOCAL
public static final String DEFAULT_CLASS_LOADER
public static final String DEFAULT_CLASS_LOADER_LOCAL
public static final String FINALIZE_QUEUE
public static final String CANONICAL_PATH
public static final String CANONICAL_PATH_LOCAL
public static final String PRIVILEGED_ACTION_EXCEPTION
public static final String PRIVILEGED_ACTION_EXCEPTION_LOCAL
public static final String PHI_NODE
Method Detail |
public PointsToSet reachingObjects(Local l)
public PointsToSet reachingObjects(Context c, Local l)
public PointsToSet reachingObjects(SootField f)
public PointsToSet reachingObjects(PointsToSet s, SootField f)
public PointsToSet reachingObjects(Local l, SootField f)
public PointsToSet reachingObjects(Context c, Local l, SootField f)
public PointsToSet reachingObjectsOfArrayElement(PointsToSet s)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |