Package qilin.pta.toolkits.dd

Class TunnelingTypeSensitivity

java.lang.Object

qilin.core.config.ContextSensitivity

qilin.pta.toolkits.dd.TunnelingTypeSensitivity

public final class TunnelingTypeSensitivity
extends ContextSensitivity

Tunneling k-type-sensitivity.

Constructor Summary

Constructors

Constructor	Description
TunnelingTypeSensitivity(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

TunnelingTypeSensitivity

public TunnelingTypeSensitivity(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