Package qilin.core

Interface PointsToAnalysis

All Known Implementing Classes:

BasePTA, BeanPTA, CorePTA, CoreVariantPTA, DataDrivenPTA, DebloatedPTA, EaglePTA, MahjongPTA, PartialCallSiteSensPTA, PartialObjSensPTA, PTA, SelectxPTA, StagedPTA, TunnelingPTA, TurnerPTA, 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 String	STRING_NODE

Method Summary

Modifier and Type	Method	Description
boolean	isMayAlias(SootMethod m, Value va, Value vb)	Returns whether va and vb, evaluated in method m, may point to a common runtime object.
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(PagNode 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

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(PagNode 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.

isMayAlias

boolean isMayAlias(SootMethod m,
 Value va,
 Value vb)

Returns whether va and vb, evaluated in method m, may point to a common runtime object. Supports Local references and null/String/class constants; any other Value kind is rejected with IllegalArgumentException.