public abstract class PartialObjSensPTA extends StagedPTA
| Modifier and Type | Field and Description |
|---|---|
protected Set<SootMethod> |
csmethods |
protected Set<Object> |
csnodes |
protected PAG |
prePAG |
EXCEPTION_NODE, MAIN_THREAD_GROUP_NODE_LOCAL, RETURN_NODE, STRING_NODE, THIS_NODE, THROW_NODE| Constructor and Description |
|---|
PartialObjSensPTA(PTAScene scene,
int ctxLen) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract Map<Object,Integer> |
calculatingNode2Length() |
protected void |
extraStats() |
protected void |
preAnalysis() |
protected void |
select() |
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, reachingObjectsOfArrayElementprotected Set<SootMethod> csmethods
protected PAG prePAG
public PartialObjSensPTA(PTAScene scene, int ctxLen)
protected void preAnalysis()
preAnalysis in class StagedPTAprotected void select()
protected void extraStats()
Copyright © 2024 Soot OSS. All rights reserved.