Standalone C++ binary built on PhASAR. Emits taint facts, data-flow, and control-flow as JSON. Consumed by stig-gradle-plugin via Provision.kt.

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