Package qilin.pta.tools

Class TurnerPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.StagedPTA

qilin.pta.tools.PartialObjSensPTA

qilin.pta.tools.TurnerPTA

All Implemented Interfaces:

Parameterizer, PointsToAnalysis

public class TurnerPTA
extends PartialObjSensPTA

Field Summary

Fields inherited from class qilin.pta.tools.PartialObjSensPTA

csmethods, csnodes, prePAG

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
TurnerPTA(PTAScene scene, int k)

Method Summary

Modifier and Type	Method	Description
protected Map<Object,Integer>	calculatingNode2Length()

Methods inherited from class qilin.pta.tools.PartialObjSensPTA

extraStats, preAnalysis, select

Methods inherited from class qilin.pta.tools.StagedPTA

getPrePTA, mainAnalysis, run

Methods inherited from class qilin.pta.tools.BasePTA

createCallGraphBuilder, createPAG, dumpStats, evaluator, getPropagator

Methods inherited from class qilin.core.CorePTA

contextConstructor, contextSelector, createCalleeContext, emptyContext, getRootNode, heapAbstractor, initComponents, parameterize, parameterize, parameterize, parameterize, parameterize, parameterize, parameterize, setContextSelector

Methods inherited from class qilin.core.PTA

getCallGraph, getCgb, getConfig, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, isMayAlias, 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

Constructor Details

TurnerPTA

public TurnerPTA(PTAScene scene,
 int k)

Method Details

calculatingNode2Length

protected Map<Object,Integer> calculatingNode2Length()

Specified by:

calculatingNode2Length in class PartialObjSensPTA