qilin.pta.tools

Class MahjongPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.StagedPTA

qilin.pta.tools.MahjongPTA

All Implemented Interfaces:

PointsToAnalysis

public class MahjongPTA
extends StagedPTA

Field Summary

Fields

Modifier and Type	Field and Description
Set<Object>	csHeap
protected Map<Object,Object>	heapModelMap
Set<Object>	mergedHeap

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
MahjongPTA(PTAScene scene, int k, int hk, CtxConstructor ctxCons)

Method Summary

Modifier and Type	Method and Description
protected void	preAnalysis()

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 Detail

heapModelMap

protected final Map<Object,Object> heapModelMap

mergedHeap

public Set<Object> mergedHeap

csHeap

public Set<Object> csHeap

Constructor Detail

MahjongPTA

public MahjongPTA(PTAScene scene,
                  int k,
                  int hk,
                  CtxConstructor ctxCons)

Method Detail

preAnalysis

protected void preAnalysis()

Specified by:

preAnalysis in class StagedPTA