Package qilin.core

Interface PointsToAnalysis

All Known Implementing Classes:

BasePTA, BeanPTA, CallSiteSensPTA, CorePTA, DataDrivenPTA, DebloatedPTA, EaglePTA, HybridObjectSensPTA, HybridTypeSensPTA, MahjongPTA, ObjectSensPTA, PartialCallSiteSensPTA, PartialObjSensPTA, PTA, SelectxPTA, Spark, StagedPTA, TunnelingPTA, TurnerPTA, TypeSensPTA, ZipperPTA

public interface PointsToAnalysis

A generic interface to any type of pointer analysis.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field	Description
static final String	EXCEPTION_NODE
static final String	MAIN_THREAD_GROUP_NODE_LOCAL
static final int	RETURN_NODE
static final String	STRING_NODE
static final int	THIS_NODE
static final int	THROW_NODE

Method Summary

Modifier and Type	Method	Description
PointsToSet	reachingObjects(Context c, SootMethod m, Local l)	Returns the set of objects pointed to by variable l in context c.
PointsToSet	reachingObjects(Context c, SootMethod m, 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(Node n)
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	reachingObjects(SootMethod m, Local l)	Returns the set of objects pointed to by variable l.
PointsToSet	reachingObjects(SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l.
PointsToSet	reachingObjectsOfArrayElement(PointsToSet s)	Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.

Field Details

THIS_NODE

static final int THIS_NODE

See Also:

• Constant Field Values

RETURN_NODE

static final int RETURN_NODE

See Also:

• Constant Field Values

THROW_NODE

static final int THROW_NODE

See Also:

• Constant Field Values

STRING_NODE

static final String STRING_NODE

See Also:

• Constant Field Values

EXCEPTION_NODE

static final String EXCEPTION_NODE

See Also:

• Constant Field Values

MAIN_THREAD_GROUP_NODE_LOCAL

static final String MAIN_THREAD_GROUP_NODE_LOCAL

See Also:

• Constant Field Values

Method Details

reachingObjects

PointsToSet reachingObjects(SootMethod m,
 Local l)

Returns the set of objects pointed to by variable l.

reachingObjects

PointsToSet reachingObjects(Node n)

reachingObjects

PointsToSet reachingObjects(Context c,
 SootMethod m,
 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(SootMethod m,
 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,
 SootMethod m,
 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.