Vulnerability Detection on 31 Rust CVE snippets
100Detection RateMiri 0.1.0
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Miri 0.1.0Type=Runtime check2026.04 | 100 | — | |
| 4-Agent (Ours)Type=LLM+KLEE2026.04 | 83.9 | 1,206 | |
| Single-AgentType=LLM+KLEE2026.04 | 51.6 | 487 | |
| Clippy 0.1.93Type=Static lint2026.04 | 35.5 | 14 | |
| Kani 0.67.0Type=Formal verif.2026.04 | 0 | 0 | |
| Prusti 2023-08-22Type=Formal verif.2026.04 | 0 | 0 | |
| CreusotType=Formal verif.2026.04 | 0 | 0 | |
| Haybale 0.7Type=Symbolic exec.2026.04 | 0 | 0 | |
| cargo-geigerType=Unsafe tracker2026.04 | 0 | 0 |