stig-engine/com.stigway.engine.config/StigProjectDefaults

StigProjectDefaults

data class StigProjectDefaults(val sourceProfile: String? = null, val placement: StigElementPlacement = StigElementPlacement.STIG_SUBDIR, val elementType: ElementType = ElementType.COMPONENT, val importEnabled: Boolean = true, val failAt: ProblemSeverity? = ProblemSeverity.CRITICAL, val pathFeasibility: PathFeasibility? = null, val asil: ASIL? = null, val build: StigBuildConfig? = null, val interfacePointMode: InterfacePointMode? = null, val interfacePointLocation: String? = null, val provenanceBuild: ProvenanceBuildConfig? = null, val softwareUnderAnalysis: SoftwareUnderAnalysisConfig? = null, val modelCheck: ModelCheckConfig? = null, val stubs: StubsConfig? = null, val bitcodeTransforms: BitcodeTransformActivationsConfig? = null, val enableComplexityAnalysis: Boolean? = null, val enableControlFlowAnalysis: Boolean? = null, val enableDataAndControlFlowAnalysis: Boolean? = null, val enableCascadingFailuresAnalysis: Boolean? = null, val showDataFlowDiagramsForDataAndControlFlow: Boolean? = null, val showControlFlowDiagramsForDataAndControlFlow: Boolean? = null, val showCombinedDiagramsForDataAndControlFlow: Boolean? = null, val showDataFlowDiagramsForCascadingFailures: Boolean? = null, val showControlFlowDiagramsForCascadingFailures: Boolean? = null, val showCombinedDiagramsForCascadingFailures: Boolean? = null, val enableDetailedDiagramsForAllSinks: Boolean? = null)

Constructors

StigProjectDefaults

constructor(sourceProfile: String? = null, placement: StigElementPlacement = StigElementPlacement.STIG_SUBDIR, elementType: ElementType = ElementType.COMPONENT, importEnabled: Boolean = true, failAt: ProblemSeverity? = ProblemSeverity.CRITICAL, pathFeasibility: PathFeasibility? = null, asil: ASIL? = null, build: StigBuildConfig? = null, interfacePointMode: InterfacePointMode? = null, interfacePointLocation: String? = null, provenanceBuild: ProvenanceBuildConfig? = null, softwareUnderAnalysis: SoftwareUnderAnalysisConfig? = null, modelCheck: ModelCheckConfig? = null, stubs: StubsConfig? = null, bitcodeTransforms: BitcodeTransformActivationsConfig? = null, enableComplexityAnalysis: Boolean? = null, enableControlFlowAnalysis: Boolean? = null, enableDataAndControlFlowAnalysis: Boolean? = null, enableCascadingFailuresAnalysis: Boolean? = null, showDataFlowDiagramsForDataAndControlFlow: Boolean? = null, showControlFlowDiagramsForDataAndControlFlow: Boolean? = null, showCombinedDiagramsForDataAndControlFlow: Boolean? = null, showDataFlowDiagramsForCascadingFailures: Boolean? = null, showControlFlowDiagramsForCascadingFailures: Boolean? = null, showCombinedDiagramsForCascadingFailures: Boolean? = null, enableDetailedDiagramsForAllSinks: Boolean? = null)

Properties

asil

val asil: ASIL?

bitcodeTransforms

val bitcodeTransforms: BitcodeTransformActivationsConfig?

build

val build: StigBuildConfig?

elementType

val elementType: ElementType

enableCascadingFailuresAnalysis

val enableCascadingFailuresAnalysis: Boolean?

enableComplexityAnalysis

val enableComplexityAnalysis: Boolean?

enableControlFlowAnalysis

val enableControlFlowAnalysis: Boolean?

enableDataAndControlFlowAnalysis

val enableDataAndControlFlowAnalysis: Boolean?

enableDetailedDiagramsForAllSinks

val enableDetailedDiagramsForAllSinks: Boolean?

Emit detailed per-IR / per-segment projections for merged all_sinks analyses. Nullable so defaults/project/element cascade can distinguish "unset" from an explicit opt-in.

failAt

val failAt: ProblemSeverity?

importEnabled

val importEnabled: Boolean

interfacePointLocation

val interfacePointLocation: String?

interfacePointMode

val interfacePointMode: InterfacePointMode?

modelCheck

val modelCheck: ModelCheckConfig?

pathFeasibility

val pathFeasibility: PathFeasibility?