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 and 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 and Description
PointerAnalysisConfiguration()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

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 Detail

PointerAnalysisConfiguration

public PointerAnalysisConfiguration()