soot
Interface PointsToAnalysis

All Known Implementing Classes:

DemandCSPointsTo, DumbPointerAnalysis, GeomPointsTo, PAG

public interface PointsToAnalysis

A generic interface to any type of pointer analysis.

Author:

Ondrej Lhotak

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

THIS_NODE

static final String THIS_NODE

See Also:

Constant Field Values

RETURN_NODE

static final int RETURN_NODE

See Also:

Constant Field Values

THROW_NODE

static final String THROW_NODE

See Also:

Constant Field Values

ARRAY_ELEMENTS_NODE

static final String ARRAY_ELEMENTS_NODE

See Also:

Constant Field Values

CAST_NODE

static final String CAST_NODE

See Also:

Constant Field Values

STRING_ARRAY_NODE

static final String STRING_ARRAY_NODE

See Also:

Constant Field Values

STRING_NODE

static final String STRING_NODE

See Also:

Constant Field Values

STRING_NODE_LOCAL

static final String STRING_NODE_LOCAL

See Also:

Constant Field Values

EXCEPTION_NODE

static final String EXCEPTION_NODE

See Also:

Constant Field Values

RETURN_STRING_CONSTANT_NODE

static final String RETURN_STRING_CONSTANT_NODE

See Also:

Constant Field Values

STRING_ARRAY_NODE_LOCAL

static final String STRING_ARRAY_NODE_LOCAL

See Also:

Constant Field Values

MAIN_THREAD_NODE

static final String MAIN_THREAD_NODE

See Also:

Constant Field Values

MAIN_THREAD_NODE_LOCAL

static final String MAIN_THREAD_NODE_LOCAL

See Also:

Constant Field Values

MAIN_THREAD_GROUP_NODE

static final String MAIN_THREAD_GROUP_NODE

See Also:

Constant Field Values

MAIN_THREAD_GROUP_NODE_LOCAL

static final String MAIN_THREAD_GROUP_NODE_LOCAL

See Also:

Constant Field Values

MAIN_CLASS_NAME_STRING

static final String MAIN_CLASS_NAME_STRING

See Also:

Constant Field Values

MAIN_CLASS_NAME_STRING_LOCAL

static final String MAIN_CLASS_NAME_STRING_LOCAL

See Also:

Constant Field Values

DEFAULT_CLASS_LOADER

static final String DEFAULT_CLASS_LOADER

See Also:

Constant Field Values

DEFAULT_CLASS_LOADER_LOCAL

static final String DEFAULT_CLASS_LOADER_LOCAL

See Also:

Constant Field Values

FINALIZE_QUEUE

static final String FINALIZE_QUEUE

See Also:

Constant Field Values

CANONICAL_PATH

static final String CANONICAL_PATH

See Also:

Constant Field Values

CANONICAL_PATH_LOCAL

static final String CANONICAL_PATH_LOCAL

See Also:

Constant Field Values

PRIVILEGED_ACTION_EXCEPTION

static final String PRIVILEGED_ACTION_EXCEPTION

See Also:

Constant Field Values

PRIVILEGED_ACTION_EXCEPTION_LOCAL

static final String PRIVILEGED_ACTION_EXCEPTION_LOCAL

See Also:

Constant Field Values

PHI_NODE

static final String PHI_NODE

See Also:

Constant Field Values

Method Detail

reachingObjects

PointsToSet reachingObjects(Local l)

Returns the set of objects pointed to by variable l.

reachingObjects

PointsToSet reachingObjects(Context c,
                            Local l)

Returns the set of objects pointed to by variable l in context c.

reachingObjects

PointsToSet reachingObjects(SootField f)

Returns the set of objects pointed to by static field f.

reachingObjects

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

PointsToSet reachingObjects(Local l,
                            SootField f)

Returns the set of objects pointed to by instance field f of the objects pointed to by l.

reachingObjects

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.

reachingObjectsOfArrayElement

PointsToSet reachingObjectsOfArrayElement(PointsToSet s)

Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.