stig-engine/com.stigway.engine.diagram/CodeAnalysisConfiguration

CodeAnalysisConfiguration

data class CodeAnalysisConfiguration(val stigVersion: String, val analyzerSourceSha: String, val phasarVersion: String, val modulePath: String, val configPath: String, val solver: Solver, val alias: Alias, val callGraph: CallGraph, val pathFeasibility: PathFeasibility, val analysisKind: AnalysisKind, val maxSourcesPerSolver: Int = 1, val maxSinksPerSolver: Int? = null, val configuredSources: List<String> = emptyList(), val configuredSinks: List<String> = emptyList(), val entryPoints: List<String> = emptyList(), val emitLeaks: Boolean? = null, val emitDataFlowGraph: Boolean? = null, val emitControlFlowGraph: Boolean? = null, val emitFeasibility: Boolean? = null)

Pass identity + reproducibility metadata. Captures every choice that could affect the analyzer's output: solver/alias picks, pinned PhASAR commit, the analyzer binary's source SHA.

Note: no ASIL fields. The analyzer doesn't know what an ASIL is — P5/P6 know, because they generate the cfg JSON and name the output file using ASIL pairings.

Constructors

constructor(stigVersion: String, analyzerSourceSha: String, phasarVersion: String, modulePath: String, configPath: String, solver: Solver, alias: Alias, callGraph: CallGraph, pathFeasibility: PathFeasibility, analysisKind: AnalysisKind, maxSourcesPerSolver: Int = 1, maxSinksPerSolver: Int? = null, configuredSources: List<String> = emptyList(), configuredSinks: List<String> = emptyList(), entryPoints: List<String> = emptyList(), emitLeaks: Boolean? = null, emitDataFlowGraph: Boolean? = null, emitControlFlowGraph: Boolean? = null, emitFeasibility: Boolean? = null)