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

AnalyzerExecutionDsl

open class AnalyzerExecutionDsl

DSL block for P6 — analyzer execution configuration.

Controls runtime parameters for analyzer execution.

stig {
    element {
        analyzerExecution {
            timeoutPerRun = 30.minutes
            maxParallelAnalyzerExecutions = 1
            maxSinksPerSolver = 4
            slicingEnabled = false
            retryOnTimeout = false
        }
    }
}

Settable at: defaults → group → element (cascading).

Constructors

AnalyzerExecutionDsl

constructor()

Properties

diagnosticInterval

var diagnosticInterval: Duration

var diagnostics: Set<AnalyzerDiagnostic>

var evidenceMode: AnalysisEvidenceMode?

Whether P6 is producing strict evidence or a provisional bootstrap result.

maxAllowedRamAndSwapMiB

var maxAllowedRamAndSwapMiB: Int?

maxParallelAnalyzerExecutions

var maxParallelAnalyzerExecutions: Int

maxSinksPerSolver

var maxSinksPerSolver: Int?

var retryOnTimeout: Boolean

var slicingEnabled: Boolean

var solverWorkers: Int

var timeoutPerRun: Duration

Functions

cascadingFailuresAnalysis

fun cascadingFailuresAnalysis(configure: CascadingFailuresAnalysisDsl.() -> Unit)

Enable/configure cascading-failures (fault propagation) analysis.

controlFlowAnalysis

fun controlFlowAnalysis(configure: ControlFlowAnalysisDsl.() -> Unit)

Enable/configure control-flow-only analysis (call-graph without taint).

dataAndControlFlowAnalysis

fun dataAndControlFlowAnalysis(configure: DataAndControlFlowAnalysisDsl.() -> Unit)

Enable/configure taint-tracking (data + control flow) analysis.