Security violation detection on 31 user-space programs (aggregated results across programs)
8UBSan ViolationsVanilla
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| VanillaStrategy=sgs2026.06 | 8 | 1 | — | |
| SymbolonStrategy=sgs2026.06 | 10 | 2 | — | |
| VanillaStrategy=dfs2026.06 | 13 | 2 | — | |
| VanillaStrategy=random-state2026.06 | 14 | 6 | — | |
| VanillaStrategy=nurs:qc2026.06 | 14 | 2 | — | |
| VanillaStrategy=nurs:icnt2026.06 | 15 | 0 | — | |
| VanillaStrategy=nurs:depth2026.06 | 16 | 0 | — | |
| VanillaStrategy=nurs:covnew2026.06 | 17 | 2 | — | |
| VanillaStrategy=nurs:md2u2026.06 | 18 | 2 | — | |
| SymbolonStrategy=random-state2026.06 | 19 | 9 | — | |
| SymbolonStrategy=nurs:qc2026.06 | 19 | 1 | — | |
| VanillaStrategy=cbc2026.06 | 20 | 4 | — | |
| VanillaStrategy=random-path2026.06 | 21 | 3 | — | |
| SymbolonStrategy=dfs2026.06 | 24 | 1 | — | |
| VanillaStrategy=nurs:cpicnt2026.06 | 24 | 3 | — | |
| SymbolonStrategy=nurs:icnt2026.06 | 24 | 3 | — | |
| VanillaStrategy=bfs2026.06 | 26 | 5 | — | |
| SymbolonStrategy=nurs:depth2026.06 | 26 | 1 | — | |
| VanillaStrategy=nurs:rp2026.06 | 29 | 3 | — | |
| VanillaStrategy=learch2026.06 | 29 | 6 | — | |
| SymbolonStrategy=nurs:md2u2026.06 | 31 | 4 | — | |
| SymbolonStrategy=cbc2026.06 | 31 | 7 | — | |
| VanillaStrategy=cgs2026.06 | 32 | 6 | — | |
| VanillaStrategy=empc2026.06 | 37 | 9 | — | |
| SymbolonStrategy=nurs:cpicnt2026.06 | 39 | 2 | — | |
| SymbolonStrategy=nurs:covnew2026.06 | 42 | 5 | — | |
| SymbolonStrategy=random-path2026.06 | 43 | 5 | — | |
| SymbolonStrategy=cgs2026.06 | 44 | 10 | — | |
| SymbolonStrategy=nurs:rp2026.06 | 45 | 8 | — | |
| SymbolonStrategy=bfs2026.06 | 47 | 5 | — | |
| SymbolonStrategy=learch2026.06 | 62 | 7 | — | |
| SymbolonStrategy=empc2026.06 | 67 | 9 | — | |
| VanillaStrategy=Total2026.06 | 333 | 54 | — | |
| SymbolonStrategy=Total2026.06 | 573 | 79 | 240 |