Package qilin.pta.toolkits.mahjong

Class MahjongCallSiteSensitivity

java.lang.Object

qilin.core.config.ContextSensitivity

qilin.pta.toolkits.mahjong.MahjongCallSiteSensitivity

public final class MahjongCallSiteSensitivity
extends ContextSensitivity

MAHJONG-guided k-callsite-sensitivity.

Constructor Summary

Constructors

Constructor	Description
MahjongCallSiteSensitivity(int k, int hk)

Method Summary

Modifier and Type	Method	Description
int	contextDepth()	The method-context depth (k).
ContextConstructor	createContextConstructor()	Builds the ContextConstructor implementing this context-sensitivity variant.
BasePTA	createPTA(PTAScene scene, PointerAnalysisConfig config)	Builds the concrete BasePTA for this variant.
int	heapContextDepth()	The heap-context depth (hk).
String	toString()

Methods inherited from class qilin.core.config.ContextSensitivity

beanObjectSensitive, callSite, callSite, dataDrivenCallSite, dataDrivenHybridObjectSensitive, dataDrivenObjectSensitive, eagleObjectSensitive, hybridObjectSensitive, hybridTypeSensitive, insensitive, label, mahjongCallSite, mahjongObjectSensitive, maybeDebloat, objectSensitive, objectSensitive, requireNonNegative, requireObjectOrTypeHeapRange, requirePositive, selectorContextDepth, selectxCallSite, tunnelingCallSite, tunnelingHybridObjectSensitive, tunnelingObjectSensitive, tunnelingTypeSensitive, turnerObjectSensitive, typeSensitive, zipperCallSite, zipperExpressCallSite, zipperExpressObjectSensitive, zipperObjectSensitive

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

MahjongCallSiteSensitivity

public MahjongCallSiteSensitivity(int k,
 int hk)

Method Details

createContextConstructor

public ContextConstructor createContextConstructor()

Description copied from class: ContextSensitivity

Builds the ContextConstructor implementing this context-sensitivity variant.

Specified by:

createContextConstructor in class ContextSensitivity

contextDepth

public int contextDepth()

Description copied from class: ContextSensitivity

The method-context depth (k).

Specified by:

contextDepth in class ContextSensitivity

heapContextDepth

public int heapContextDepth()

Description copied from class: ContextSensitivity

The heap-context depth (hk).

Specified by:

heapContextDepth in class ContextSensitivity

createPTA

public BasePTA createPTA(PTAScene scene,
 PointerAnalysisConfig config)

Description copied from class: ContextSensitivity

Builds the concrete BasePTA for this variant.

Specified by:

createPTA in class ContextSensitivity

toString

public String toString()

Overrides:

toString in class Object