Security violation detection on 31 user-space programs (aggregated results across programs)
8UBSan Violations
Vanilla
Updated 26d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 8 | 1 | - | |
2026.06 | 10 | 2 | - | |
2026.06 | 13 | 2 | - | |
2026.06 | 14 | 6 | - | |
2026.06 | 14 | 2 | - | |
2026.06 | 15 | 0 | - | |
2026.06 | 16 | 0 | - | |
2026.06 | 17 | 2 | - | |
2026.06 | 18 | 2 | - | |
2026.06 | 19 | 9 | - | |
2026.06 | 19 | 1 | - | |
2026.06 | 20 | 4 | - | |
2026.06 | 21 | 3 | - | |
2026.06 | 24 | 1 | - | |
2026.06 | 24 | 3 | - | |
2026.06 | 24 | 3 | - | |
2026.06 | 26 | 5 | - | |
2026.06 | 26 | 1 | - | |
2026.06 | 29 | 3 | - | |
2026.06 | 29 | 6 | - | |
2026.06 | 31 | 4 | - | |
2026.06 | 31 | 7 | - | |
2026.06 | 32 | 6 | - | |
2026.06 | 37 | 9 | - | |
2026.06 | 39 | 2 | - | |
2026.06 | 42 | 5 | - | |
2026.06 | 43 | 5 | - | |
2026.06 | 44 | 10 | - | |
2026.06 | 45 | 8 | - | |
2026.06 | 47 | 5 | - | |
2026.06 | 62 | 7 | - | |
2026.06 | 67 | 9 | - | |
2026.06 | 333 | 54 | - | |
2026.06 | 573 | 79 | 240 |