Package qilin.pta.toolkits.turner

Class TurnerObjectSensitivity

java.lang.Object

qilin.core.config.ContextSensitivity

qilin.pta.toolkits.turner.TurnerObjectSensitivity

public final class TurnerObjectSensitivity
extends ContextSensitivity

TURNER-guided k-object-sensitivity.

Constructor Summary

Constructors

Constructor	Description
TurnerObjectSensitivity(int k)

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

TurnerObjectSensitivity

public TurnerObjectSensitivity(int k)

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