qilin.pta.tools

Class EaglePTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.StagedPTA

qilin.pta.tools.PartialObjSensPTA

qilin.pta.tools.EaglePTA

All Implemented Interfaces:

PointsToAnalysis

public class EaglePTA
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.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 and Description
EaglePTA(PTAScene scene, int ctxLen)

Method Summary

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

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

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

Constructor Detail

EaglePTA

public EaglePTA(PTAScene scene,
                int ctxLen)

Method Detail

calculatingNode2Length

protected Map<Object,Integer> calculatingNode2Length()

Specified by:

calculatingNode2Length in class PartialObjSensPTA

writeToFile

protected void writeToFile(Map<Object,Integer> partialResults)
                    throws FileNotFoundException

Throws:

FileNotFoundException