Package qilin.pta.tools

Class StagedPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.StagedPTA

All Implemented Interfaces:

PointsToAnalysis

Direct Known Subclasses:

BeanPTA, DebloatedPTA, MahjongPTA, PartialCallSiteSensPTA, PartialObjSensPTA, ZipperPTA

public abstract class StagedPTA
extends BasePTA

Field Summary

Fields

Modifier and Type	Field	Description
protected BasePTA	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
StagedPTA(PTAScene scene)

Method Summary

Modifier and Type	Method	Description
BasePTA	getPrePTA()
protected void	mainAnalysis()
protected abstract void	preAnalysis()
void	run()

Methods inherited from class qilin.pta.tools.BasePTA

createCallGraphBuilder, createPAG, dumpStats, evaluator, getPropagator

Methods inherited from class qilin.core.CorePTA

createCalleeCtx, ctxConstructor, ctxSelector, emptyContext, getRootNode, heapAbstractor, parameterize, parameterize, parameterize, parameterize, parameterize, parameterize, setContextSelector

Methods inherited from class qilin.core.PTA

getCallGraph, getCgb, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, pureRun, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjectsInternal, reachingObjectsInternal, reachingObjectsOfArrayElement

Methods inherited from class java.lang.Object

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

Field Details

prePTA

protected BasePTA prePTA

Constructor Details

StagedPTA

public StagedPTA(PTAScene scene)

Method Details

getPrePTA

public BasePTA getPrePTA()

preAnalysis

protected abstract void preAnalysis()

mainAnalysis

protected void mainAnalysis()

run

public void run()

Overrides:

run in class BasePTA