Package qilin.pta.tools

Class DebloatedPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.StagedPTA

qilin.pta.tools.DebloatedPTA

All Implemented Interfaces:

Parameterizer, PointsToAnalysis

public class DebloatedPTA
extends StagedPTA

Field Summary

Fields

Modifier and Type	Field	Description
protected BasePTA	basePTA
protected Set<Object>	ctxDepHeaps
protected PointerAnalysisConfig.DebloatApproach	debloatApproach

Fields inherited from class qilin.pta.tools.StagedPTA

prePTA

Fields inherited from class qilin.pta.tools.BasePTA

evaluator

Fields inherited from class qilin.core.PTA

callGraph, cgb, eh, pag, rootNode, scene

Fields inherited from interface qilin.core.PointsToAnalysis

EXCEPTION_NODE, MAIN_THREAD_GROUP_NODE_LOCAL, STRING_NODE

Constructor Summary

Constructors

Constructor	Description
DebloatedPTA(BasePTA basePTA, PointerAnalysisConfig.DebloatApproach approach)

Method Summary

Modifier and Type	Method	Description
Context	createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
Context	emptyContext()
IEvaluator	evaluator()
BasePTA	getBasePTA()	The wrapped, fully-analyzed selective PTA.
Collection<SootMethod>	getNakedReachableMethods()
Propagator	getPropagator()
Collection<ContextMethod>	getReachableMethods()
AllocNode	getRootNode()
protected void	mainAnalysis()
PagNode	parameterize(PagNode n, Context context)	Dispatches to the matching parameterize overload via double dispatch on n's runtime type (see PagNode.parameterize(Parameterizer, Context)), instead of an instanceof cascade that a new PagNode subtype could silently fall through.
ContextMethod	parameterize(SootMethod method, Context context)	Finds or creates the ContextMethod for method and context.
protected void	preAnalysis()
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)	Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects pointed by n under every possible context. case 2: n is a context-sensitive node, return objects pointed by n under the given context.
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.

Methods inherited from class qilin.pta.tools.StagedPTA

getPrePTA, run

Methods inherited from class qilin.pta.tools.BasePTA

createCallGraphBuilder, createPAG, dumpStats

Methods inherited from class qilin.core.CorePTA

contextConstructor, contextSelector, heapAbstractor, initComponents, parameterize, parameterize, parameterize, parameterize, parameterize, setContextSelector

Methods inherited from class qilin.core.PTA

getCallGraph, getCgb, getConfig, getExceptionHandler, getPag, getScene, getView, isMayAlias, pureRun, reachingObjectsInternal, reachingObjectsInternal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

basePTA

protected BasePTA basePTA

ctxDepHeaps

protected Set<Object> ctxDepHeaps

debloatApproach

protected PointerAnalysisConfig.DebloatApproach debloatApproach

Constructor Details

DebloatedPTA

public DebloatedPTA(BasePTA basePTA,
 PointerAnalysisConfig.DebloatApproach approach)

Method Details

preAnalysis

protected void preAnalysis()

Specified by:

preAnalysis in class StagedPTA

mainAnalysis

protected void mainAnalysis()

Overrides:

mainAnalysis in class StagedPTA

getPropagator

public Propagator getPropagator()

Overrides:

getPropagator in class BasePTA

getReachableMethods

public Collection<ContextMethod> getReachableMethods()

Overrides:

getReachableMethods in class PTA

getBasePTA

public BasePTA getBasePTA()

The wrapped, fully-analyzed selective PTA. PTA.getPag() on this DebloatedPTA itself still returns this object's own vestigial PAG (constructed before basePTA is assigned, and never populated) - callers needing the real PAG/method bodies from the finished analysis (e.g. reading points-to results by hand) should go through here.

getNakedReachableMethods

public Collection<SootMethod> getNakedReachableMethods()

Overrides:

getNakedReachableMethods in class PTA

parameterize

public PagNode parameterize(PagNode n,
 Context context)

Description copied from class: CorePTA

Dispatches to the matching parameterize overload via double dispatch on n's runtime type (see PagNode.parameterize(Parameterizer, Context)), instead of an instanceof cascade that a new PagNode subtype could silently fall through.

Overrides:

parameterize in class CorePTA

parameterize

public ContextMethod parameterize(SootMethod method,
 Context context)

Description copied from class: CorePTA

Finds or creates the ContextMethod for method and context.

Overrides:

parameterize in class CorePTA

getRootNode

public AllocNode getRootNode()

Overrides:

getRootNode in class CorePTA

evaluator

public IEvaluator evaluator()

Overrides:

evaluator in class BasePTA

emptyContext

public Context emptyContext()

Overrides:

emptyContext in class CorePTA

createCalleeContext

public Context createCalleeContext(ContextMethod caller,
 AllocNode receiverNode,
 CallSite callSite,
 SootMethod target)

Overrides:

createCalleeContext in class CorePTA

reachingObjects

public PointsToSet reachingObjects(SootMethod m,
 Local l)

Description copied from class: PTA

Returns the set of objects pointed to by variable l.

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjects

public PointsToSet reachingObjects(PagNode n)

Description copied from class: PTA

Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects pointed by n under every possible context. case 2: n is a context-sensitive node, return objects pointed by n under the given context.

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjects

public PointsToSet reachingObjects(Context c,
 SootMethod m,
 Local l)

Description copied from class: PTA

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

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjects

public PointsToSet reachingObjects(SootField f)

Description copied from interface: PointsToAnalysis

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

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjects

public PointsToSet reachingObjects(PointsToSet s,
 SootField f)

Description copied from class: PTA

Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjects

public PointsToSet reachingObjects(SootMethod m,
 Local l,
 SootField f)

Description copied from class: PTA

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

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjects

public PointsToSet reachingObjects(Context c,
 SootMethod m,
 Local l,
 SootField f)

Description copied from class: PTA

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

Specified by:

reachingObjects in interface PointsToAnalysis

Overrides:

reachingObjects in class PTA

reachingObjectsOfArrayElement

public PointsToSet reachingObjectsOfArrayElement(PointsToSet s)

Description copied from class: PTA

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

Specified by:

reachingObjectsOfArrayElement in interface PointsToAnalysis

Overrides:

reachingObjectsOfArrayElement in class PTA