Package qilin.pta.toolkits.zipper

Class ZipperObjectSensitivity

java.lang.Object

qilin.core.config.ContextSensitivity

qilin.pta.toolkits.zipper.ZipperObjectSensitivity

public final class ZipperObjectSensitivity
extends ContextSensitivity

ZIPPER-guided k-object-sensitivity.

Constructor Summary

Constructors

Constructor	Description
ZipperObjectSensitivity(int k, int hk, boolean isExpress)

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

ZipperObjectSensitivity

public ZipperObjectSensitivity(int k,
 int hk,
 boolean isExpress)

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