The open source taint analysis engine for the AI era. Formal inter-procedural taint analysis — finds what pattern matching engines miss, enacts what LLM agents discover as rules, scales where neither can alone.
kotlin java security spring static-analysis vulnerabilities taint-analysis vulnerability-detection vulnerability-scanners security-tools sast seqra
-
Updated
May 4, 2026 - Kotlin