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:

PointsToAnalysis

public class DebloatedPTA
extends StagedPTA

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DebloatedPTA.DebloatApproach

Field Summary

Fields

Modifier and Type	Field	Description
protected BasePTA	basePTA
protected Set<Object>	ctxDepHeaps
protected DebloatedPTA.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.CorePTA

ctxCons, ctxSel, heapAbst

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, RETURN_NODE, STRING_NODE, THIS_NODE, THROW_NODE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Context	createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
Context	emptyContext()
IEvaluator	evaluator()
Propagator	getPropagator()
AllocNode	getRootNode()
protected void	mainAnalysis()
Node	parameterize(Node n, Context context)
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(Node 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.
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

ctxConstructor, ctxSelector, heapAbstractor, parameterize, parameterize, parameterize, parameterize, setContextSelector

Methods inherited from class qilin.core.PTA

getCallGraph, getCgb, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, 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 DebloatedPTA.DebloatApproach debloatApproach

Constructor Details

DebloatedPTA

public DebloatedPTA(BasePTA basePTA,
 DebloatedPTA.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

parameterize

public Node parameterize(Node n,
 Context context)

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

createCalleeCtx

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

Overrides:

createCalleeCtx 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(Node 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