Definition
A system that combines static analysis, AI, and symbolic execution to find security bugs and write working proofs that exploit them.
A vulnerability discovery framework that pairs CodeQL-style static analysis with LLM-driven harness synthesis and symbolic execution, validating crashes against AddressSanitizer on unmodified binaries.