stig-engine/com.stigway.engine.flowgap

Package-level declarations

Types

data class FlowGap(val kind: FlowGapKind, val sinkKey: String, val sinkAsil: String, val verdict: String, val sources: List<FlowGapSource>, val sinkLlvmSymbol: String, val runStem: String, val runConfigPath: String, val runOutputDirectory: String, val dataFlowSolver: String, val aliasAnalysis: String, val pathFeasibility: String)

FlowGapDiscovery

data class FlowGapDiscovery(val tables: List<FlowGapTabulatorTable>, val gaps: List<FlowGap>)

FlowGapEvidenceDiscovery

object FlowGapEvidenceDiscovery

Extracts the two all-sinks report tables and resolves every problematic row to one exact aggregate analyzer invocation. Resolution is symbol-based: report field -> interface-point LLVM symbol -> unique aggregate run-plan entry containing that symbol. Filesystem slug reconstruction is deliberately not used.

FlowGapKind

enum FlowGapKind : Enum<FlowGapKind>

FlowGapSource

data class FlowGapSource(val name: String, val asil: String?)

FlowGapTabulatorRow

data class FlowGapTabulatorRow(val sinkKey: String, val sinkAsil: String, val verdict: String, val sources: List<FlowGapSource>, val sinkHtml: String, val verdictHtml: String, val sourcesHtml: String)

FlowGapTabulatorTable

data class FlowGapTabulatorTable(val kind: FlowGapKind, val sinkAsil: String, val rows: List<FlowGapTabulatorRow>)