Package qilin.pta.tools

Class CoreVariantPTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

qilin.pta.tools.BasePTA

qilin.pta.tools.CoreVariantPTA

All Implemented Interfaces:

Parameterizer, PointsToAnalysis

public final class CoreVariantPTA
extends BasePTA

A single, factory-configured pointer analysis covering all core context-sensitivity variants (context-insensitive Spark, call-site k-CFA, k-object-sensitive, k-type-sensitive, and their hybrid-object/hybrid-type counterparts). Replaces the former Spark, CallSiteSensPTA, ObjectSensPTA, TypeSensPTA, HybridObjectSensPTA and HybridTypeSensPTA classes, which differed only in which ContextSensitivity they were parameterized with - the cross-cutting heap-abstraction/context-selector wiring that used to be copy-pasted across all six now lives once in PointerAnalysisComponents.

Field Summary

Fields inherited from class qilin.pta.tools.BasePTA

evaluator

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, STRING_NODE

Constructor Summary

Constructors

Constructor	Description
CoreVariantPTA(PTAScene scene, ContextSensitivity contextSensitivity)

Method Summary

Methods inherited from class qilin.pta.tools.BasePTA

createCallGraphBuilder, createPAG, dumpStats, evaluator, getPropagator, run

Methods inherited from class qilin.core.CorePTA

contextConstructor, contextSelector, createCalleeContext, emptyContext, getRootNode, heapAbstractor, initComponents, parameterize, parameterize, parameterize, parameterize, parameterize, parameterize, parameterize, setContextSelector

Methods inherited from class qilin.core.PTA

getCallGraph, getCgb, getConfig, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, isMayAlias, 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

CoreVariantPTA

public CoreVariantPTA(PTAScene scene,
 ContextSensitivity contextSensitivity)