AEGIS: From Clues to Verdicts — Graph-Guided Deep Vulnerability Reasoning via Dialectics and Meta-Auditing
Preprint, 2026. arXiv
A multi-agent framework that grounds LLM-based vulnerability detection in a closed factual substrate. AEGIS reconstructs per-variable dependency chains over a repository-level Code Property Graph, then uses a dialectical Verifier and an independent Audit Agent (with veto power) to suppress hallucinated verdicts. Sets a new state of the art on PrimeVul (122 pair-wise correct predictions — first to surpass 100), reducing false positives by up to 54.40% at $0.09 per sample with no task-specific training.