Package qilin.pta

Class PTAConfig.PointerAnalysisConfiguration

java.lang.Object

qilin.CoreConfig.CorePTAConfiguration

qilin.pta.PTAConfig.PointerAnalysisConfiguration

Enclosing class:

PTAConfig

public static class PTAConfig.PointerAnalysisConfiguration
extends CoreConfig.CorePTAConfiguration

Field Summary

Fields

Modifier and Type	Field	Description
boolean	ctxDebloating	If this option is turned on, we will apply context debloating techniques.
DebloatedPTA.DebloatApproach	debloatApproach
boolean	preAnalysisOnly	If this option is turned on, then main analysis will not run.
PTAPattern	ptaPattern

Fields inherited from class qilin.CoreConfig.CorePTAConfiguration

clinitMode, enforceEmptyCtxForIgnoreTypes, mergeHeap, preciseArrayElement, preciseExceptions, ptaName, singleentry, stringConstants

Constructor Summary

Constructors

Constructor	Description
PointerAnalysisConfiguration()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

ptaPattern

public PTAPattern ptaPattern

preAnalysisOnly

public boolean preAnalysisOnly

If this option is turned on, then main analysis will not run.

ctxDebloating

public boolean ctxDebloating

If this option is turned on, we will apply context debloating techniques.

debloatApproach

public DebloatedPTA.DebloatApproach debloatApproach

Constructor Details

PointerAnalysisConfiguration

public PointerAnalysisConfiguration()