Phoenix achieves F1=0.825 on deduplicated vulnerability detection by using multi-agent synthesis of Gherkin behavioral contracts and strict compliance checking, outperforming larger trained models.
Beyond function-level analysis: Context-aware reasoning for inter-procedural vulnerability detection.CoRR, abs/2602.06751
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
Phoenix achieves F1=0.825 on deduplicated vulnerability detection by using multi-agent synthesis of Gherkin behavioral contracts and strict compliance checking, outperforming larger trained models.