Group: STIG

Sort by:Popular▼

✓Popular✓Newest

Exida Stig

Exida Stig Maintenance

Exida Stig Settings

Common runtime support for STIG LLVM analysis engines.

STIG metamodel definitions for the core domain model.

Gradle adapters for isolated STIG engine execution.

Integrates the STIG engine with Gradle to scaffold, import, check and document STIG models.

Shared compiler observations and transform inputs for STIG LLVM analysis.

Frontend-independent STIG logic that underpins the Gradle, Dokka, and IntelliJ IDEA plugins, plus other integrations.

Rewrites LLVM bitcode using STIG transform rules.

Shared requests, reporting, and file operations for STIG execution.

Coordinates STIG project configuration and loads the isolated execution adapter.

Standalone C++ binary built on PhASAR. Emits taint facts, data-flow, and control-flow as JSON.

Links LLVM bitcode modules for STIG analysis.

Gradle tasks for compiling and linking STIG LLVM analysis inputs.

Gradle tasks for producing STIG LLVM bitcode transforms.

Compiles native sources to LLVM bitcode for STIG analysis.

Prepares LLVM bitcode and analysis inputs for STIG.

Applies post-link LLVM transformations and produces STIG analysis evidence.