Package qilin.pta.tools

Class HybridTypeSensPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.HybridTypeSensPTA

All Implemented Interfaces:

PointsToAnalysis

public class HybridTypeSensPTA
extends BasePTA

refer to "Hybrid Context-Sensitivity for Points-To Analysis" (PLDI'13)

Field Summary

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

Method Summary

Methods inherited from class qilin.pta.tools.BasePTA

createCallGraphBuilder, createPAG, dumpStats, evaluator, getPropagator, run

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

Constructor Details

HybridTypeSensPTA

public HybridTypeSensPTA(PTAScene scene,
 int k,
 int hk)