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

Fields

Modifier and Type	Field and Description
static java.lang.String	ARRAY_ELEMENTS_NODE
static java.lang.String	CANONICAL_PATH
static java.lang.String	CANONICAL_PATH_LOCAL
static java.lang.String	CAST_NODE
static java.lang.String	DEFAULT_CLASS_LOADER
static java.lang.String	DEFAULT_CLASS_LOADER_LOCAL
static java.lang.String	EXCEPTION_NODE
static java.lang.String	FINALIZE_QUEUE
static java.lang.String	MAIN_CLASS_NAME_STRING
static java.lang.String	MAIN_CLASS_NAME_STRING_LOCAL
static java.lang.String	MAIN_THREAD_GROUP_NODE
static java.lang.String	MAIN_THREAD_GROUP_NODE_LOCAL
static java.lang.String	MAIN_THREAD_NODE
static java.lang.String	MAIN_THREAD_NODE_LOCAL
static java.lang.String	PHI_NODE
static java.lang.String	PRIVILEGED_ACTION_EXCEPTION
static java.lang.String	PRIVILEGED_ACTION_EXCEPTION_LOCAL
static int	RETURN_NODE
static java.lang.String	RETURN_STRING_CONSTANT_NODE
static java.lang.String	STRING_ARRAY_NODE
static java.lang.String	STRING_ARRAY_NODE_LOCAL
static java.lang.String	STRING_NODE
static java.lang.String	STRING_NODE_LOCAL
static java.lang.String	THIS_NODE
static java.lang.String	THROW_NODE

Method Summary

Methods

Modifier and Type	Method and Description
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 java.lang.String THIS_NODE

See Also:

Constant Field Values

RETURN_NODE

static final int RETURN_NODE

See Also:

Constant Field Values

THROW_NODE

static final java.lang.String THROW_NODE

See Also:

Constant Field Values

ARRAY_ELEMENTS_NODE

static final java.lang.String ARRAY_ELEMENTS_NODE

See Also:

Constant Field Values

CAST_NODE

static final java.lang.String CAST_NODE

See Also:

Constant Field Values

STRING_ARRAY_NODE

static final java.lang.String STRING_ARRAY_NODE

See Also:

Constant Field Values

STRING_NODE

static final java.lang.String STRING_NODE

See Also:

Constant Field Values

STRING_NODE_LOCAL

static final java.lang.String STRING_NODE_LOCAL

See Also:

Constant Field Values

EXCEPTION_NODE

static final java.lang.String EXCEPTION_NODE

See Also:

Constant Field Values

RETURN_STRING_CONSTANT_NODE

static final java.lang.String RETURN_STRING_CONSTANT_NODE

See Also:

Constant Field Values

STRING_ARRAY_NODE_LOCAL

static final java.lang.String STRING_ARRAY_NODE_LOCAL

See Also:

Constant Field Values

MAIN_THREAD_NODE

static final java.lang.String MAIN_THREAD_NODE

See Also:

Constant Field Values

MAIN_THREAD_NODE_LOCAL

static final java.lang.String MAIN_THREAD_NODE_LOCAL

See Also:

Constant Field Values

MAIN_THREAD_GROUP_NODE

static final java.lang.String MAIN_THREAD_GROUP_NODE

See Also:

Constant Field Values

MAIN_THREAD_GROUP_NODE_LOCAL

static final java.lang.String MAIN_THREAD_GROUP_NODE_LOCAL

See Also:

Constant Field Values

MAIN_CLASS_NAME_STRING

static final java.lang.String MAIN_CLASS_NAME_STRING

See Also:

Constant Field Values

MAIN_CLASS_NAME_STRING_LOCAL

static final java.lang.String MAIN_CLASS_NAME_STRING_LOCAL

See Also:

Constant Field Values

DEFAULT_CLASS_LOADER

static final java.lang.String DEFAULT_CLASS_LOADER

See Also:

Constant Field Values

DEFAULT_CLASS_LOADER_LOCAL

static final java.lang.String DEFAULT_CLASS_LOADER_LOCAL

See Also:

Constant Field Values

FINALIZE_QUEUE

static final java.lang.String FINALIZE_QUEUE

See Also:

Constant Field Values

CANONICAL_PATH

static final java.lang.String CANONICAL_PATH

See Also:

Constant Field Values

CANONICAL_PATH_LOCAL

static final java.lang.String CANONICAL_PATH_LOCAL

See Also:

Constant Field Values

PRIVILEGED_ACTION_EXCEPTION

static final java.lang.String PRIVILEGED_ACTION_EXCEPTION

See Also:

Constant Field Values

PRIVILEGED_ACTION_EXCEPTION_LOCAL

static final java.lang.String PRIVILEGED_ACTION_EXCEPTION_LOCAL

See Also:

Constant Field Values

PHI_NODE

static final java.lang.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.