qilin

Class CoreConfig.CorePTAConfiguration

java.lang.Object

qilin.CoreConfig.CorePTAConfiguration

Direct Known Subclasses:

PTAConfig.PointerAnalysisConfiguration

Enclosing class:

CoreConfig

public static class CoreConfig.CorePTAConfiguration
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
CoreConfig.ClinitMode	clinitMode Clinit loading mode: APP: A debug mode for testing which load only the minimum <clinit> of classes needed.
boolean	enforceEmptyCtxForIgnoreTypes in qilin.spark limit heap context for strings if we are object sensitive
boolean	mergeHeap enable to merge heaps like StringBuilder/StringBuffer, exceptions by types.
boolean	preciseArrayElement the type of array element is java.lang.Object by default.
boolean	preciseExceptions The default setting (same as the imprecise version in Doop): there is a global variable for all thrown exceptions and any caught exception variable points to all those exceptions.
String	ptaName
boolean	singleentry
boolean	stringConstants in qilin.spark propagate all string constants false means merge all string constants, see the corresponding flag, DISTINGUISH_NO_STRING_CONSTANTS, in DOOP.

Constructor Summary

Constructors

Constructor and Description
CorePTAConfiguration()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

singleentry

public boolean singleentry

clinitMode

public CoreConfig.ClinitMode clinitMode

Clinit loading mode: APP: A debug mode for testing which load only the minimum <clinit> of classes needed. FULL: load all <clinit> of classes that are currently loaded in the scene. ON_THE_FLY: we load <clinit> on the fly, this mode is same as DOOP (default mode).

mergeHeap

public boolean mergeHeap

enable to merge heaps like StringBuilder/StringBuffer, exceptions by types.

preciseArrayElement

public boolean preciseArrayElement

the type of array element is java.lang.Object by default. if set to be true, we will use more precise type for array elements.

stringConstants

public boolean stringConstants

in qilin.spark propagate all string constants false means merge all string constants, see the corresponding flag, DISTINGUISH_NO_STRING_CONSTANTS, in DOOP.

preciseExceptions

public boolean preciseExceptions

The default setting (same as the imprecise version in Doop): there is a global variable for all thrown exceptions and any caught exception variable points to all those exceptions. Obviously, this is extremely imprecise.

This imprecision does not seem to matter too much for typical programs in the context-insensitive and 1-call-site-sensitive analyses, but is disastrous in the 1-object-sensitive analysis.

once this switch is open, it will model exception flow-sensitively (same as the precise version in Doop). Implicitly thrown exceptions are not included.

enforceEmptyCtxForIgnoreTypes

public boolean enforceEmptyCtxForIgnoreTypes

in qilin.spark limit heap context for strings if we are object sensitive

ptaName

public String ptaName

Constructor Detail

CorePTAConfiguration

public CorePTAConfiguration()