public class EaglePTA extends PartialObjSensPTA
csmethods, csnodes, prePAGEXCEPTION_NODE, MAIN_THREAD_GROUP_NODE_LOCAL, RETURN_NODE, STRING_NODE, THIS_NODE, THROW_NODE| Modifier and Type | Method and Description |
|---|---|
protected Map<Object,Integer> |
calculatingNode2Length() |
protected void |
writeToFile(Map<Object,Integer> partialResults) |
extraStats, preAnalysis, selectgetPrePTA, mainAnalysis, runcreateCallGraphBuilder, createPAG, dumpStats, evaluator, getPropagatorcreateCalleeCtx, ctxConstructor, ctxSelector, emptyContext, getRootNode, heapAbstractor, parameterize, parameterize, parameterize, parameterize, parameterize, parameterize, setContextSelectorgetCallGraph, getCgb, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, pureRun, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjectsInternal, reachingObjectsInternal, reachingObjectsOfArrayElementpublic EaglePTA(PTAScene scene, int ctxLen)
protected Map<Object,Integer> calculatingNode2Length()
calculatingNode2Length in class PartialObjSensPTAprotected void writeToFile(Map<Object,Integer> partialResults) throws FileNotFoundException
FileNotFoundExceptionCopyright © 2024 Soot OSS. All rights reserved.