stig-gradle-plugin/com.stigway.gradle.dsl/DataAndControlFlowAnalysisDsl

DataAndControlFlowAnalysisDsl

open class DataAndControlFlowAnalysisDsl

DSL block for analyzerExecution { dataAndControlFlowAnalysis { ... } } at defaults, group, and element levels.

Enables taint-tracking analysis (PhASAR IFDS/IDE).

analyzerExecution {
    dataAndControlFlowAnalysis {
        enabled = true
    }
}

Constructors

DataAndControlFlowAnalysisDsl

constructor()

Properties

enabled

var enabled: Boolean?

Whether taint-tracking (data + control flow) analysis is enabled.

mode

var mode: AnalysisDepth?

Per-analysis depth selector. When null the project-level default (AnalysisDepth.BOTH) is used. Scoped to this analysis kind so data-flow and cascading-failure depths can differ.

showAllSinksMergeInLeafMode

var showAllSinksMergeInLeafMode: Boolean?

Retained for source compatibility with the pre-v4 run-plan. The current v4 aggregate run-plan rejects an explicit assignment because aggregate ASIL runs are emitted independently of AnalysisDepth.

showCombinedDataAndControlFlowDiagrams

var showCombinedDataAndControlFlowDiagrams: Boolean?

Generate diagrams that overlay data-flow edges on the call-graph (combined view; corresponds to includeControlFlowInFullGraph = true).

showControlFlowDiagrams

var showControlFlowDiagrams: Boolean?

Generate the per-group call-graph diagrams (control_flow_*.dot).

showDataFlowDiagrams

var showDataFlowDiagrams: Boolean?

Generate the per-sink / per-group data-flow taint diagrams (data_flow_*.dot).