|
||||||||||
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 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. |
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 java.lang.Integer THIS_NODE
public static final int RETURN_NODE
public static final java.lang.Integer THROW_NODE
public static final java.lang.Integer ARRAY_ELEMENTS_NODE
public static final java.lang.Integer CAST_NODE
public static final java.lang.Integer STRING_ARRAY_NODE
public static final java.lang.Integer STRING_NODE
public static final java.lang.Integer STRING_NODE_LOCAL
public static final java.lang.Integer EXCEPTION_NODE
public static final java.lang.Integer RETURN_STRING_CONSTANT_NODE
public static final java.lang.Integer STRING_ARRAY_NODE_LOCAL
public static final java.lang.Integer MAIN_THREAD_NODE
public static final java.lang.Integer MAIN_THREAD_NODE_LOCAL
public static final java.lang.Integer MAIN_THREAD_GROUP_NODE
public static final java.lang.Integer MAIN_THREAD_GROUP_NODE_LOCAL
public static final java.lang.Integer MAIN_CLASS_NAME_STRING
public static final java.lang.Integer MAIN_CLASS_NAME_STRING_LOCAL
public static final java.lang.Integer DEFAULT_CLASS_LOADER
public static final java.lang.Integer DEFAULT_CLASS_LOADER_LOCAL
Method Detail |
public PointsToSet reachingObjects(Local l)
public PointsToSet reachingObjects(SootField f)
public PointsToSet reachingObjects(PointsToSet s, SootField f)
public PointsToSet reachingObjects(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 |