Standalone C++ binary built on PhASAR. Emits taint facts, data-flow, and control-flow as JSON. Consumed by stig-gradle-plugin via Provision.kt.
Current Group
ai.exida
Kotlin-based engineering documentation framework for requirements, design, analysis, and tests.