Package qilin.pta.tools

Class PartialObjSensPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.StagedPTA

qilin.pta.tools.PartialObjSensPTA

All Implemented Interfaces:

PointsToAnalysis

Direct Known Subclasses:

EaglePTA, TurnerPTA

public abstract class PartialObjSensPTA
extends StagedPTA

Field Summary

Fields

Modifier and Type	Field	Description
protected Set<SootMethod>	csmethods
protected Set<Object>	csnodes
protected PAG	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	Description
PartialObjSensPTA(PTAScene scene, int ctxLen)

Method Summary

Modifier and Type	Method	Description
protected abstract Map<Object,Integer>	calculatingNode2Length()
protected void	extraStats()
protected void	preAnalysis()
protected void	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

Field Details

csnodes

protected Set<Object> csnodes

csmethods

protected Set<SootMethod> csmethods

prePAG

protected PAG prePAG

Constructor Details

PartialObjSensPTA

public PartialObjSensPTA(PTAScene scene,
 int ctxLen)

Method Details

preAnalysis

protected void preAnalysis()

Specified by:

preAnalysis in class StagedPTA

calculatingNode2Length

protected abstract Map<Object,Integer> calculatingNode2Length()

select

protected void select()

extraStats

protected void extraStats()