Options (TAJS)

java.lang.Object
- dk.brics.tajs.options.Options

```
public class Options
extends Object
```
Global analysis options.

Method Summary

Methods
Modifier and Type	Method and Description
`static void`	`addLibrary(String fileName)` Add a file to the set of ignored library files.
`static String`	`describe()` Returns a description of the available options.
`static void`	`disableAjaxReturnsJson()` Assume AJAX returns anything.
`static void`	`disableAlwaysCanPut()` Do not assume [[CanPut]] always works.
`static void`	`disableCallgraph()` Disable callgraph dumping.
`static void`	`disableCollectVariableInfo()` Disable variable information collection.
`static void`	`disableCorrelationTracking()` Disable correlation tracking.
`static void`	`disableDebug()` Disable debug mode.
`static void`	`disableDSL()` Disable the DOM DSL.
`static void`	`disableFlowgraph()` Disable flowgraph dumping.
`static void`	`disableFlowgraphOptimization()` Disable flow graph optimization.
`static void`	`disableIgnoreHTMLContent()` Do not ignore HTML content.
`static void`	`disableIgnoreLibraries()` Do not ignore libraries.
`static void`	`disableIncludeDom()` Disable DOM model.
`static void`	`disableLowSeverity()` Do not print low severity messages.
`static void`	`disableMemoryUsage()` Disable memory usage statistics.
`static void`	`disableNewflow()` Disable reporting summaries at flow edges.
`static void`	`disableNoChargedCalls()` Disables no charged calls.
`static void`	`disableNoContextSensitivity()` Enable context sensitivity.
`static void`	`disableNoCopyOnWrite()` Enable copy on write.
`static void`	`disableNoExceptions()` Disable ignoring exceptions.
`static void`	`disableNoGc()` Enable abstract garbage collection.
`static void`	`disableNoHybridCollections()` Enable hybrid collections.
`static void`	`disableNoLazy()` Enable lazy propagation.
`static void`	`disableNoLocalPathSensitivity()` Disable local path sensitivity.
`static void`	`disableNoModified()` Enable modified flags.
`static void`	`disableNoRecency()` Enable recency abstraction.
`static void`	`disableOldFlowgraphBuilder()` Disable the old flow graph builder.
`static void`	`disablePolymorphic()` Disable polymorphic values.
`static void`	`disablePropagateDeadFlow()` Disable propagation of dead data flow.
`static void`	`disableQuiet()` Disable quiet mode.
`static void`	`disableRenaming()` Disable renaming.
`static void`	`disableSingleEventHandlerLoop()` Disable single event handler loop.
`static void`	`disableSingleEventHandlerType()` Disable single event handler type.
`static void`	`disableStates()` Disable output of intermediate states.
`static void`	`disableStatistics()` Disable variable statistics.
`static void`	`disableTest()` Disable test mode.
`static void`	`disableTestFlowGraphBuilder()` Disable testing of flow graph builder.
`static void`	`disableTiming()` Disable timing of TAJS.
`static void`	`disableUnevalMode()` Disable uneval mode.
`static void`	`disableUnrollOneAndAHalf()` Disable 1 1/2 loop unrolling.
`static void`	`disableUnsound()` Disable unsound shortcuts.
`static void`	`dump()` Prints the settings (if in debug mode).
`static void`	`enableAjaxReturnsJson()` Assume AJAX returns JSON data.
`static void`	`enableAlwaysCanPut()` Assume [[CanPut]] always works.
`static void`	`enableCallgraph()` Enable callgraph dumping.
`static void`	`enableCollectVariableInfo()` Enable variable information collection.
`static void`	`enableCorrelationTracking()` Enable correlation tracking.
`static void`	`enableDebug()` Enable debug mode.
`static void`	`enableDSL()` Enable the DOM DSL.
`static void`	`enableFlowgraph()` Enable flowgraph dumping.
`static void`	`enableFlowgraphOptimization()` Enable flow graph optimization.
`static void`	`enableIgnoreHTMLContent()` Ignore HTML content.
`static void`	`enableIgnoreLibraries()` Ignore libraries.
`static void`	`enableIncludeDom()` Enable DOM model.
`static void`	`enableLowSeverity()` Print low severity messages.
`static void`	`enableMemoryUsage()` Enable memory usage statistics.
`static void`	`enableNewflow()` Enable reporting summaries at flow edges.
`static void`	`enableNoChargedCalls()` Enables no charged calls.
`static void`	`enableNoContextSensitivity()` Disable context sensitivity.
`static void`	`enableNoCopyOnWrite()` Disable copy on write.
`static void`	`enableNoExceptions()` Enable ignoring exceptions.
`static void`	`enableNoGc()` Disable abstract garbage collection.
`static void`	`enableNoHybridCollections()` Disable hybrid collections.
`static void`	`enableNoLazy()` Disable lazy propagation.
`static void`	`enableNoLocalPathSensitivity()` Disable local path sensitivity.
`static void`	`enableNoModified()` Disable modified flags.
`static void`	`enableNoRecency()` Disable recency abstraction.
`static void`	`enableOldFlowgraphBuilder()` Enable the old flow graph builder.
`static void`	`enablePolymorphic()` Enable polymorphic values.
`static void`	`enablePropagateDeadFlow()` Enable propagation of dead data flow.
`static void`	`enableQuiet()` Enable quiet mode.
`static void`	`enableRenaming()` Enable renaming.
`static void`	`enableSingleEventHandlerLoop()` Enable single event handler loop.
`static void`	`enableSingleEventHandlerType()` Enable single event handler type.
`static void`	`enableStates()` Enable output of intermediate states.
`static void`	`enableStatistics()` Enable variable statistics.
`static void`	`enableTest()` Avoid nondeterministic output.
`static void`	`enableTestFlowGraphBuiler()` Enable testing of flow graph builder.
`static void`	`enableTiming()` Enable timing of TAJS.
`static void`	`enableUnevalMode()` Enable uneval mode.
`static void`	`enableUnrollOneAndAHalf()` Enable 1 1/2 loop unrolling.
`static void`	`enableUnsound()` Enable unsound shortcuts.
`static Set<String>`	`getLibraries()` Get the set of ignored libraries.
`static boolean`	`isAlwaysCanPut()`
`static boolean`	`isCallGraphEnabled()` If set, output callgraph.dot.
`static boolean`	`isChargedCallsDisabled()` If set, don't use charged calls.
`static boolean`	`isCollectVariableInfoEnabled()` If set, summarize information on reachable variables, e.g.
`static boolean`	`isContextSensitivityDisabled()` If set, do not use context sensitivity.
`static boolean`	`isCopyOnWriteDisabled()` If set, do not use copy-on-write.
`static boolean`	`isCorrelationTrackingEnabled()` Is correlation tracking enabled.
`static boolean`	`isCoverageEnabled()` Is coverage enabled.
`static boolean`	`isDebugEnabled()` Are we currently in debug mode.
`static boolean`	`isDebugOrTestEnabled()` Are we currently in debug or test mode.
`static boolean`	`isDOMEnabled()` If set, the DOM objects and functions are part of the initial state.
`static boolean`	`isDSLEnabled()` Is the DOM DSL enabled.
`static boolean`	`isErrorBatchMode()` Do we introduce random errors.
`static boolean`	`isEvalStatistics()` Eval statistics enabled.
`static boolean`	`isExceptionsDisabled()` If set, exclude implicit exception flow.
`static boolean`	`isFlowGraphEnabled()` If set, output flowgraph.dot.
`static boolean`	`isFlowGraphOptimizationEnabled()` If set, do not perform flowgraph optimization.
`static boolean`	`isGCDisabled()` If set, do not use abstract garbage collection.
`static boolean`	`isHybridCollectionsDisabled()` If set, do not use `HybridArrayHashMap` and `HybridArrayHashSet`.
`static boolean`	`isIgnoreHTMLContent()` Do we ignore HTML content.
`static boolean`	`isIgnoreLibrariesEnabled()` If set, ignore unreachable code warnings from libraries.
`static boolean`	`isIntermediateStatesEnabled()` If set, print intermediate abstract states.
`static boolean`	`isLazyDisabled()` If set, do not use lazy propagation.
`static boolean`	`isLocalPathSensitivityDisabled()` If set, do not use local path sensitivity, including assume node effects.
`static boolean`	`isLowSeverityEnabled()` If set, print low severity messages.
`static boolean`	`isMemoryMeasurementEnabled()` If set, measure memory usage.
`static boolean`	`isModifiedDisabled()` If set, do not use modified flags.
`static boolean`	`isNewFlowEnabled()` If set, report summary of new flow at function entries.
`static boolean`	`isOldFlowgraphBuilderEnabled()` If set, use the old flow graph builder.
`static boolean`	`isPolymorphicEnabled()` If set, use polymorphic abstract values.
`static boolean`	`isPropagateDeadFlow()` If set, dead data flow is propagated.
`static boolean`	`isQuietEnabled()` If set, only report results.
`static boolean`	`isRecencyDisabled()` If set, do not use recency abstraction.
`static boolean`	`isRenamingEnabled()` If set, use renaming.
`static boolean`	`isReturnJSON()` Assume AJAX returns JSON.
`static boolean`	`isSingleEventHandlerLoop()` Is there a single event handler loop.
`static boolean`	`isSingleEventHandlerType()` Are all events treated equally?
`static boolean`	`isStatisticsEnabled()` If set, report statistics.
`static boolean`	`isTestEnabled()` If set, avoid nondeterministic output.
`static boolean`	`isTestFlowGraphBuilderEnabled()` If set, output flow graphs to stdout for testing purposes.
`static boolean`	`isTimingEnabled()` If set, report timings.
`static boolean`	`isUnevalEnabled()` Is uneval mode enabled.
`static boolean`	`isUnrollOneAndAHalfEnabled()` Is one and a half loop unrolling enabled.
`static boolean`	`isUnsoundEnabled()` If set, allow certain unsound tricks.
`static void`	`reset()` Resets all options.
`static boolean`	`set(String option)` Sets the given option.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - addLibrary
```
public static void addLibrary(String fileName)
```
    Add a file to the set of ignored library files.
  - describe
```
public static String describe()
```
    Returns a description of the available options.
  - disableAjaxReturnsJson
```
public static void disableAjaxReturnsJson()
```
    Assume AJAX returns anything.
  - disableAlwaysCanPut
```
public static void disableAlwaysCanPut()
```
    Do not assume [[CanPut]] always works.
  - disableCallgraph
```
public static void disableCallgraph()
```
    Disable callgraph dumping.
  - disableCollectVariableInfo
```
public static void disableCollectVariableInfo()
```
    Disable variable information collection.
  - disableCorrelationTracking
```
public static void disableCorrelationTracking()
```
    Disable correlation tracking.
  - disableDebug
```
public static void disableDebug()
```
    Disable debug mode. Also sets log level to Level.INFO.
  - disableDSL
```
public static void disableDSL()
```
    Disable the DOM DSL.
  - disableFlowgraph
```
public static void disableFlowgraph()
```
    Disable flowgraph dumping.
  - disableFlowgraphOptimization
```
public static void disableFlowgraphOptimization()
```
    Disable flow graph optimization.
  - disableIgnoreHTMLContent
```
public static void disableIgnoreHTMLContent()
```
    Do not ignore HTML content.
  - disableIgnoreLibraries
```
public static void disableIgnoreLibraries()
```
    Do not ignore libraries.
  - disableIncludeDom
```
public static void disableIncludeDom()
```
    Disable DOM model.
  - disableLowSeverity
```
public static void disableLowSeverity()
```
    Do not print low severity messages.
  - disableMemoryUsage
```
public static void disableMemoryUsage()
```
    Disable memory usage statistics.
  - disableNewflow
```
public static void disableNewflow()
```
    Disable reporting summaries at flow edges.
  - disableNoChargedCalls
```
public static void disableNoChargedCalls()
```
    Disables no charged calls.
  - disableNoContextSensitivity
```
public static void disableNoContextSensitivity()
```
    Enable context sensitivity.
  - disableNoCopyOnWrite
```
public static void disableNoCopyOnWrite()
```
    Enable copy on write.
  - disableNoExceptions
```
public static void disableNoExceptions()
```
    Disable ignoring exceptions.
  - disableNoGc
```
public static void disableNoGc()
```
    Enable abstract garbage collection.
  - disableNoHybridCollections
```
public static void disableNoHybridCollections()
```
    Enable hybrid collections.
  - disableNoLazy
```
public static void disableNoLazy()
```
    Enable lazy propagation.
  - disableNoLocalPathSensitivity
```
public static void disableNoLocalPathSensitivity()
```
    Disable local path sensitivity.
  - disableNoModified
```
public static void disableNoModified()
```
    Enable modified flags.
  - disableNoRecency
```
public static void disableNoRecency()
```
    Enable recency abstraction.
  - disableOldFlowgraphBuilder
```
public static void disableOldFlowgraphBuilder()
```
    Disable the old flow graph builder.
  - disablePolymorphic
```
public static void disablePolymorphic()
```
    Disable polymorphic values.
  - disablePropagateDeadFlow
```
public static void disablePropagateDeadFlow()
```
    Disable propagation of dead data flow.
  - disableQuiet
```
public static void disableQuiet()
```
    Disable quiet mode.
  - disableRenaming
```
public static void disableRenaming()
```
    Disable renaming.
  - disableSingleEventHandlerLoop
```
public static void disableSingleEventHandlerLoop()
```
    Disable single event handler loop.
  - disableSingleEventHandlerType
```
public static void disableSingleEventHandlerType()
```
    Disable single event handler type.
  - disableStates
```
public static void disableStates()
```
    Disable output of intermediate states.
  - disableStatistics
```
public static void disableStatistics()
```
    Disable variable statistics.
  - disableTest
```
public static void disableTest()
```
    Disable test mode.
  - disableTestFlowGraphBuilder
```
public static void disableTestFlowGraphBuilder()
```
    Disable testing of flow graph builder. Also disables test mode.
  - disableTiming
```
public static void disableTiming()
```
    Disable timing of TAJS.
  - disableUnevalMode
```
public static void disableUnevalMode()
```
    Disable uneval mode.
  - disableUnrollOneAndAHalf
```
public static void disableUnrollOneAndAHalf()
```
    Disable 1 1/2 loop unrolling.
  - disableUnsound
```
public static void disableUnsound()
```
    Disable unsound shortcuts.
  - dump
```
public static void dump()
```
    Prints the settings (if in debug mode).
  - enableAjaxReturnsJson
```
public static void enableAjaxReturnsJson()
```
    Assume AJAX returns JSON data.
  - enableAlwaysCanPut
```
public static void enableAlwaysCanPut()
```
    Assume [[CanPut]] always works.
  - enableCallgraph
```
public static void enableCallgraph()
```
    Enable callgraph dumping.
  - enableCollectVariableInfo
```
public static void enableCollectVariableInfo()
```
    Enable variable information collection.
  - enableCorrelationTracking
```
public static void enableCorrelationTracking()
```
    Enable correlation tracking.
  - enableDebug
```
public static void enableDebug()
```
    Enable debug mode. Also sets log level to Level.DEBUG.
  - enableDSL
```
public static void enableDSL()
```
    Enable the DOM DSL.
  - enableFlowgraph
```
public static void enableFlowgraph()
```
    Enable flowgraph dumping.
  - enableFlowgraphOptimization
```
public static void enableFlowgraphOptimization()
```
    Enable flow graph optimization.
  - enableIgnoreHTMLContent
```
public static void enableIgnoreHTMLContent()
```
    Ignore HTML content.
  - enableIgnoreLibraries
```
public static void enableIgnoreLibraries()
```
    Ignore libraries.
  - enableIncludeDom
```
public static void enableIncludeDom()
```
    Enable DOM model.
  - enableLowSeverity
```
public static void enableLowSeverity()
```
    Print low severity messages.
  - enableMemoryUsage
```
public static void enableMemoryUsage()
```
    Enable memory usage statistics.
  - enableNewflow
```
public static void enableNewflow()
```
    Enable reporting summaries at flow edges.
  - enableNoChargedCalls
```
public static void enableNoChargedCalls()
```
    Enables no charged calls.
  - enableNoContextSensitivity
```
public static void enableNoContextSensitivity()
```
    Disable context sensitivity.
  - enableNoCopyOnWrite
```
public static void enableNoCopyOnWrite()
```
    Disable copy on write.
  - enableNoExceptions
```
public static void enableNoExceptions()
```
    Enable ignoring exceptions.
  - enableNoGc
```
public static void enableNoGc()
```
    Disable abstract garbage collection.
  - enableNoHybridCollections
```
public static void enableNoHybridCollections()
```
    Disable hybrid collections.
  - enableNoLazy
```
public static void enableNoLazy()
```
    Disable lazy propagation.
  - enableNoLocalPathSensitivity
```
public static void enableNoLocalPathSensitivity()
```
    Disable local path sensitivity.
  - enableNoModified
```
public static void enableNoModified()
```
    Disable modified flags.
  - enableNoRecency
```
public static void enableNoRecency()
```
    Disable recency abstraction.
  - enableOldFlowgraphBuilder
```
public static void enableOldFlowgraphBuilder()
```
    Enable the old flow graph builder.
  - enablePolymorphic
```
public static void enablePolymorphic()
```
    Enable polymorphic values.
  - enablePropagateDeadFlow
```
public static void enablePropagateDeadFlow()
```
    Enable propagation of dead data flow.
  - enableQuiet
```
public static void enableQuiet()
```
    Enable quiet mode.
  - enableRenaming
```
public static void enableRenaming()
```
    Enable renaming.
  - enableSingleEventHandlerLoop
```
public static void enableSingleEventHandlerLoop()
```
    Enable single event handler loop.
  - enableSingleEventHandlerType
```
public static void enableSingleEventHandlerType()
```
    Enable single event handler type.
  - enableStates
```
public static void enableStates()
```
    Enable output of intermediate states.
  - enableStatistics
```
public static void enableStatistics()
```
    Enable variable statistics.
  - enableTest
```
public static void enableTest()
```
    Avoid nondeterministic output. Also sets quiet mode and low_severity.
  - enableTestFlowGraphBuiler
```
public static void enableTestFlowGraphBuiler()
```
    Enable testing of flow graph builder. Implies test mode.
  - enableTiming
```
public static void enableTiming()
```
    Enable timing of TAJS.
  - enableUnevalMode
```
public static void enableUnevalMode()
```
    Enable uneval mode.
  - enableUnrollOneAndAHalf
```
public static void enableUnrollOneAndAHalf()
```
    Enable 1 1/2 loop unrolling.
  - enableUnsound
```
public static void enableUnsound()
```
    Enable unsound shortcuts.
  - getLibraries
```
public static Set<String> getLibraries()
```
    Get the set of ignored libraries.
  - isAlwaysCanPut
```
public static boolean isAlwaysCanPut()
```
  - isCallGraphEnabled
```
public static boolean isCallGraphEnabled()
```
    If set, output callgraph.dot.
  - isChargedCallsDisabled
```
public static boolean isChargedCallsDisabled()
```
    If set, don't use charged calls.
  - isCollectVariableInfoEnabled
```
public static boolean isCollectVariableInfoEnabled()
```
    If set, summarize information on reachable variables, e.g. their type and location.
  - isContextSensitivityDisabled
```
public static boolean isContextSensitivityDisabled()
```
    If set, do not use context sensitivity.
  - isCopyOnWriteDisabled
```
public static boolean isCopyOnWriteDisabled()
```
    If set, do not use copy-on-write.
  - isCorrelationTrackingEnabled
```
public static boolean isCorrelationTrackingEnabled()
```
    Is correlation tracking enabled.
  - isCoverageEnabled
```
public static boolean isCoverageEnabled()
```
    Is coverage enabled.
    
    Returns:
    True if coverage view is enabled.
  - isDebugEnabled
```
public static boolean isDebugEnabled()
```
    Are we currently in debug mode.
  - isDebugOrTestEnabled
```
public static boolean isDebugOrTestEnabled()
```
    Are we currently in debug or test mode.
  - isDOMEnabled
```
public static boolean isDOMEnabled()
```
    If set, the DOM objects and functions are part of the initial state.
  - isDSLEnabled
```
public static boolean isDSLEnabled()
```
    Is the DOM DSL enabled.
  - isErrorBatchMode
```
public static boolean isErrorBatchMode()
```
    Do we introduce random errors.
  - isEvalStatistics
```
public static boolean isEvalStatistics()
```
    Eval statistics enabled.
  - isExceptionsDisabled
```
public static boolean isExceptionsDisabled()
```
    If set, exclude implicit exception flow.
  - isFlowGraphEnabled
```
public static boolean isFlowGraphEnabled()
```
    If set, output flowgraph.dot.
  - isFlowGraphOptimizationEnabled
```
public static boolean isFlowGraphOptimizationEnabled()
```
    If set, do not perform flowgraph optimization.
  - isGCDisabled
```
public static boolean isGCDisabled()
```
    If set, do not use abstract garbage collection.
  - isHybridCollectionsDisabled
```
public static boolean isHybridCollectionsDisabled()
```
    If set, do not use HybridArrayHashMap and HybridArrayHashSet.
  - isIgnoreHTMLContent
```
public static boolean isIgnoreHTMLContent()
```
    Do we ignore HTML content.
  - isIgnoreLibrariesEnabled
```
public static boolean isIgnoreLibrariesEnabled()
```
    If set, ignore unreachable code warnings from libraries.
  - isIntermediateStatesEnabled
```
public static boolean isIntermediateStatesEnabled()
```
    If set, print intermediate abstract states.
  - isLazyDisabled
```
public static boolean isLazyDisabled()
```
    If set, do not use lazy propagation.
  - isLocalPathSensitivityDisabled
```
public static boolean isLocalPathSensitivityDisabled()
```
    If set, do not use local path sensitivity, including assume node effects.
  - isLowSeverityEnabled
```
public static boolean isLowSeverityEnabled()
```
    If set, print low severity messages.
  - isMemoryMeasurementEnabled
```
public static boolean isMemoryMeasurementEnabled()
```
    If set, measure memory usage.
  - isModifiedDisabled
```
public static boolean isModifiedDisabled()
```
    If set, do not use modified flags.
  - isNewFlowEnabled
```
public static boolean isNewFlowEnabled()
```
    If set, report summary of new flow at function entries.
  - isOldFlowgraphBuilderEnabled
```
public static boolean isOldFlowgraphBuilderEnabled()
```
    If set, use the old flow graph builder.
  - isPolymorphicEnabled
```
public static boolean isPolymorphicEnabled()
```
    If set, use polymorphic abstract values.
  - isPropagateDeadFlow
```
public static boolean isPropagateDeadFlow()
```
    If set, dead data flow is propagated.
  - isQuietEnabled
```
public static boolean isQuietEnabled()
```
    If set, only report results.
  - isRecencyDisabled
```
public static boolean isRecencyDisabled()
```
    If set, do not use recency abstraction.
  - isRenamingEnabled
```
public static boolean isRenamingEnabled()
```
    If set, use renaming.
  - isReturnJSON
```
public static boolean isReturnJSON()
```
    Assume AJAX returns JSON.
  - isSingleEventHandlerLoop
```
public static boolean isSingleEventHandlerLoop()
```
    Is there a single event handler loop.
    
    Returns:
    True if there is a single event handler loop.
  - isSingleEventHandlerType
```
public static boolean isSingleEventHandlerType()
```
    Are all events treated equally?
  - isStatisticsEnabled
```
public static boolean isStatisticsEnabled()
```
    If set, report statistics.
  - isTestEnabled
```
public static boolean isTestEnabled()
```
    If set, avoid nondeterministic output.
  - isTestFlowGraphBuilderEnabled
```
public static boolean isTestFlowGraphBuilderEnabled()
```
    If set, output flow graphs to stdout for testing purposes.
  - isTimingEnabled
```
public static boolean isTimingEnabled()
```
    If set, report timings.
  - isUnevalEnabled
```
public static boolean isUnevalEnabled()
```
    Is uneval mode enabled.
  - isUnrollOneAndAHalfEnabled
```
public static boolean isUnrollOneAndAHalfEnabled()
```
    Is one and a half loop unrolling enabled.
  - isUnsoundEnabled
```
public static boolean isUnsoundEnabled()
```
    If set, allow certain unsound tricks.
  - reset
```
public static void reset()
```
    Resets all options.
  - set
```
public static boolean set(String option)
```
    Sets the given option.
    
    Parameters:
    option - The option to set.
    
    Returns:
    True if understood.

Class Options

Method Summary

Methods inherited from class java.lang.Object

Method Detail

addLibrary

describe

disableAjaxReturnsJson

disableAlwaysCanPut

disableCallgraph

disableCollectVariableInfo

disableCorrelationTracking

disableDebug

disableDSL

disableFlowgraph

disableFlowgraphOptimization

disableIgnoreHTMLContent

disableIgnoreLibraries

disableIncludeDom

disableLowSeverity

disableMemoryUsage

disableNewflow

disableNoChargedCalls

disableNoContextSensitivity

disableNoCopyOnWrite

disableNoExceptions

disableNoGc

disableNoHybridCollections

disableNoLazy

disableNoLocalPathSensitivity

disableNoModified

disableNoRecency

disableOldFlowgraphBuilder

disablePolymorphic

disablePropagateDeadFlow

disableQuiet

disableRenaming

disableSingleEventHandlerLoop

disableSingleEventHandlerType

disableStates

disableStatistics

disableTest

disableTestFlowGraphBuilder

disableTiming

disableUnevalMode

disableUnrollOneAndAHalf

disableUnsound

dump

enableAjaxReturnsJson

enableAlwaysCanPut

enableCallgraph

enableCollectVariableInfo

enableCorrelationTracking

enableDebug

enableDSL

enableFlowgraph

enableFlowgraphOptimization

enableIgnoreHTMLContent

enableIgnoreLibraries

enableIncludeDom

enableLowSeverity

enableMemoryUsage

enableNewflow

enableNoChargedCalls

enableNoContextSensitivity

enableNoCopyOnWrite

enableNoExceptions

enableNoGc

enableNoHybridCollections

enableNoLazy

enableNoLocalPathSensitivity

enableNoModified

enableNoRecency

enableOldFlowgraphBuilder

enablePolymorphic

enablePropagateDeadFlow

enableQuiet

enableRenaming

enableSingleEventHandlerLoop

enableSingleEventHandlerType

enableStates