Project-wide registry of reusable LLVM bitcode transforms. Function rules accept originalSource as a StigRepoFile or an upstream HTTP(S) source URL. It defaults to originalCompileUnit and records the original function location for comparison. reviewStatus is shared by every activity selecting the rule.

BitcodeTransformsSpec

typealias BitcodeTransformsSpec = BitcodeTransformActivationsDsl.() -> Unit

CascadingFailuresAnalysisDsl

open class CascadingFailuresAnalysisDsl

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

CascadingOverride

sealed interface CascadingOverride<out T>

Presence-aware value stored at one DSL cascade level.

CompilationUnitsArtifact

data class CompilationUnitsArtifact

Typed handles for compilation-unit list artifacts produced by the source-code analysis pipeline. These are DSL wiring objects, not file paths.

CompileCommandsArtifact

data class CompileCommandsArtifact

Typed handles for compile-command artifacts produced by the source-code analysis pipeline. These are DSL wiring objects, not file paths.

ComplexityMetricsConfig

data class ComplexityMetricsConfig(val from: CompileCommandsArtifact? = null, val enabled: Boolean? = null)

ComplexityMetricsDsl

open class ComplexityMetricsDsl

ControlFlowAnalysisDsl

open class ControlFlowAnalysisDsl

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

ConversionDsl

open class ConversionDsl

DSL block for P2 — shared LLVM conversion configuration.

DataAndControlFlowAnalysisDsl

open class DataAndControlFlowAnalysisDsl

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

DiagramOutputFormats

data class DiagramOutputFormats(val svg: Boolean, val cytoscape: Boolean, val sigma: Boolean, val sourceBrowser: SourceBrowserMode = SourceBrowserMode.NONE, val maxArtifactSizeMiB: Int? = null)

Concrete, fully-resolved output-format triplet — what the Gradle task actually consumes after the cascade has been run. Every field is non-null and reflects the effective decision after element / group / defaults resolution.

DiagramOutputFormatsDsl

class DiagramOutputFormatsDsl

Per-element / per-group / project-defaults DSL controlling which diagram output formats the issue-13 single P7 task emits.

DiagramsDsl

class DiagramsDsl

Legacy DSL block for controlling which diagram types are generated.

DslDeclaredInterfacePoint

data class DslDeclaredInterfacePoint(val token: String, val paramIndex: Int? = null, val asil: ASIL? = null, val usage: SourceUsage = SourceUsage.USED)

DSL-declared source or sink.

DslValueSource

enum DslValueSource : Enum<DslValueSource>

The layer that supplied a fully resolved cascading DSL value.

FunctionDescriptionsConfig

data class FunctionDescriptionsConfig(val from: CompileCommandsArtifact? = null, val enabled: Boolean? = null)

FunctionDescriptionsDsl

open class FunctionDescriptionsDsl

GitHubReviewDsl

open class GitHubReviewDsl

Independent browser endpoints; public GitHub and GitHub Enterprise defaults are derived from ReviewDsl.repo.

InterfacePointsDsl

open class InterfacePointsDsl

Per-element interface-function configuration block.

KnownGapsDsl

open class KnownGapsDsl

Activity-local acknowledgement of flow gaps that have already been assessed.

MarkdownExportDsl

class MarkdownExportDsl

MkDocsPublishingDsl

class MkDocsPublishingDsl

Publication layout within the destination site's Pages branch.

ModelCheckDsl

open class ModelCheckDsl

Per-viewpoint model-check configuration for stigCheckModel.

ModelDocumentationDsl

open class ModelDocumentationDsl

ModelDocumentationMode

enum ModelDocumentationMode : Enum<ModelDocumentationMode>

FULL renders CREATE trees; COMPACT renders definition lists; IDENTIFIERS omits descriptive values.

ModelDsl

class ModelDsl

Ordered, explicit model inputs and exports. No conversion files are required between readers.

ModelExportDsl

class ModelExportDsl

ModelExportsDsl

class ModelExportsDsl

ModelImportsDsl

class ModelImportsDsl

ModelInputDsl

class ModelInputDsl

nativeBuild

object nativeBuild

OverridableElementDsl

open class OverridableElementDsl

Common DSL surface for element settings that can be overridden at defaults, group, and element levels.

provenanceBuild

object provenanceBuild

ProvenanceBuildDsl

open class ProvenanceBuildDsl

DSL block for P3 — provenance build configuration.

ResolvedDslValue

data class ResolvedDslValue<T>(val value: T, val source: DslValueSource)

ReviewConfig

data class ReviewConfig(val enabled: Boolean = false, val provider: String = "github", val projectId: String = "", val webUrl: String = "", val apiUrl: String = "", val issueRepository: String = "", val tokenCreationUrl: String = "", val issueLabel: String = "", val tokenSettings: List<ReviewTokenSetting> = emptyList()) : Serializable

Non-secret, portable browser configuration. Do not add a token or local checkout path.

ReviewDsl

open class ReviewDsl

Client-side reviews of the generated report. This block never accepts credentials.

ReviewProvider

enum ReviewProvider : Enum<ReviewProvider>

Storage for browser-created report findings. Publication is configured separately.

ReviewTokenSetting

data class ReviewTokenSetting(val label: String, val value: String) : Serializable

A non-secret token-form setting rendered as plain text in the browser connection table.

SinkFunctionConfig

data class SinkFunctionConfig(val token: String, val paramIndex: Int, val asil: ASIL? = null)

A sink function declared in the interfacePoints { } DSL block.

softwareUnderAnalysis

object softwareUnderAnalysis

SoftwareUnderAnalysisDsl

open class SoftwareUnderAnalysisDsl

DSL block for P4 — software under analysis.

SourceBrowserMode

enum SourceBrowserMode : Enum<SourceBrowserMode>

Typed source-browser generation and publication policy.

sourceCodeSelection

object sourceCodeSelection

SourceCodeSelectionConfig

data class SourceCodeSelectionConfig(val from: CompileCommandsArtifact? = null, val includes: List<String>? = null, val excludes: List<String>? = null, val codeBrowserCommitRef: CodeMetricsCommitRef? = null)

SourceCodeSelectionDsl

open class SourceCodeSelectionDsl

SourceFunctionConfig

data class SourceFunctionConfig(val token: String, val paramIndex: Int? = null, val asil: ASIL? = null, val usage: SourceUsage = SourceUsage.USED)

A source function declared in the interfacePoints { } DSL block.

SourceUsage

enum SourceUsage : Enum<SourceUsage>

Expected data-flow usage for a source function as a "known fact".

StigElementExtension

open class StigElementExtension : OverridableElementDsl

Per-module element configuration. Set in each module's build.gradle.kts:

StigExtension

open class StigExtension(project: Project)

Project-phase STIG extension. Created per-project by StigPlugin.apply().

StigGroupRef

@JvmInline

value class StigGroupRef(val name: String) : Serializable

Type-safe reference to a STIG repo defined in root build.gradle.kts.

StigGroupsAccessor

class StigGroupsAccessor(context: StigProjectConfigContext?)

Dynamic accessor for groups defined in root build.gradle.kts. Holds only the resolved config context (no Project reference — CC safe).

StigModuleExtension

open class StigModuleExtension

StigModuleKind

enum StigModuleKind : Enum<StigModuleKind>

A model library supplies declarations without representing an architectural element.

StigProjectExtension

open class StigProjectExtension(projectDir: File, projectName: String = projectDir.name)

Project-phase extension for project-wide STIG configuration. Registered on the root project by com.stigway.gradle.plugin.StigPlugin and configured in the root build.gradle.kts:

StigProjectReposAccessor

class StigProjectReposAccessor

Repository lookup available while the root-project DSL is still being configured.

StigRepoDir

data class StigRepoDir(val name: String, val rootDir: File) : Serializable

A resolved repo directory. Obtained in per-module build.gradle.kts via repos["sourceRepo"] or val sourceRepo by repos. Wraps the repo name (for metadata/display) and the eagerly resolved root directory (for file resolution).

StigRepoRef

data class StigRepoRef(val name: String, rootDir: File? = null) : Serializable

Type-safe reference to a STIG repo name, returned by root-project DSL (repo("sourceRepo") { ... }). Used for declaring groups (group { from(sourceRepo) }) and defaults, and also for resolving file paths via the / operator when the rootDir is available (i.e. when returned by repo() in root build.gradle.kts).

StigReposAccessor

class StigReposAccessor(context: StigProjectConfigContext?)

Dynamic accessor for repos defined in root build.gradle.kts. Holds only the resolved config context (no Project reference — CC safe).

StubsDsl

open class StubsDsl

DSL block for stub header configuration within analyzerInput { stubs { ... } }.

ViewpointCheckConfig

open class ViewpointCheckConfig

Configuration for a single viewpoint's model checks.