Package qilin.pta.tools

Class BasePTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

All Implemented Interfaces:

PointsToAnalysis

Direct Known Subclasses:

CallSiteSensPTA, DataDrivenPTA, HybridObjectSensPTA, HybridTypeSensPTA, ObjectSensPTA, Spark, StagedPTA, TunnelingPTA, TypeSensPTA

public abstract class BasePTA
extends CorePTA

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
protected CallGraphBuilder	createCallGraphBuilder()
protected PAG	createPAG()
protected void	dumpStats()
IEvaluator	evaluator()
Propagator	getPropagator()
void	run()

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

evaluator

protected IEvaluator evaluator

Constructor Details

BasePTA

public BasePTA(PTAScene scene)

Method Details

evaluator

public IEvaluator evaluator()

createPAG

protected PAG createPAG()

Specified by:

createPAG in class PTA

createCallGraphBuilder

protected CallGraphBuilder createCallGraphBuilder()

Specified by:

createCallGraphBuilder in class PTA

getPropagator

public Propagator getPropagator()

Specified by:

getPropagator in class CorePTA

run

public void run()

Overrides:

run in class PTA

dumpStats

protected void dumpStats()