public class ZipperPTA extends StagedPTA
EXCEPTION_NODE, MAIN_THREAD_GROUP_NODE_LOCAL, RETURN_NODE, STRING_NODE, THIS_NODE, THROW_NODE| Constructor and Description |
|---|
ZipperPTA(PTAScene scene,
int k,
int hk,
CtxConstructor ctxCons) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
extraStats() |
protected void |
preAnalysis() |
getPrePTA, 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 ZipperPTA(PTAScene scene, int k, int hk, CtxConstructor ctxCons)
protected void preAnalysis()
preAnalysis in class StagedPTAprotected void extraStats()
Copyright © 2024 Soot OSS. All rights reserved.