Bug Reachability on DS1 (custom oracles)
93Total Bugs DetectedBelobog
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| BelobogTarget=Total2025.12 | 93 | 9 | 42 | 42 | |
| BelobogTarget=074ef5332025.12 | 6 | 2 | 2 | 2 | |
| BelobogTarget=8bc503402025.12 | 5 | 0 | 2 | 3 | |
| BelobogTarget=415b8e9d2025.12 | 5 | 0 | 3 | 2 | |
| BelobogTarget=8f0c3e4c2025.12 | 5 | 0 | 0 | 5 | |
| BelobogTarget=c955a9902025.12 | 4 | 2 | 2 | 0 | |
| BelobogTarget=1e6f57ad2025.12 | 4 | 0 | 1 | 3 | |
| BelobogTarget=d0c0ef132025.12 | 4 | 0 | 1 | 3 | |
| BelobogTarget=52df04992025.12 | 4 | 0 | 2 | 2 | |
| BelobogTarget=c74a124c2025.12 | 4 | 0 | 3 | 1 | |
| BelobogTarget=916a5d9c2025.12 | 3 | 0 | 0 | 3 | |
| BelobogTarget=79451d4e2025.12 | 3 | 1 | 1 | 1 | |
| BelobogTarget=487e891e2025.12 | 3 | 0 | 2 | 1 | |
| BelobogTarget=6b14ac4c2025.12 | 3 | 0 | 1 | 2 | |
| BelobogTarget=60cb5d6d2025.12 | 3 | 1 | 2 | 0 | |
| BelobogTarget=b830405a2025.12 | 3 | 0 | 1 | 2 | |
| BelobogTarget=79d6665b2025.12 | 3 | 0 | 3 | 0 | |
| BelobogTarget=54197c4b2025.12 | 3 | 0 | 2 | 1 | |
| ItyFuzzTarget=Total2025.12 | 3 | 0 | 1 | 2 | |
| BelobogTarget=902aaf722025.12 | 2 | 0 | 1 | 1 | |
| BelobogTarget=e8a96a032025.12 | 2 | 0 | 1 | 1 | |
| BelobogTarget=d834970c2025.12 | 2 | 1 | 1 | 0 | |
| BelobogTarget=d3b5b8212025.12 | 2 | 0 | 0 | 2 | |
| BelobogTarget=f1b4dc692025.12 | 2 | 0 | 2 | 0 | |
| BelobogTarget=1b894d8a2025.12 | 2 | 0 | 0 | 2 | |
| BelobogTarget=b3e614c72025.12 | 2 | 0 | 1 | 1 | |
| BelobogTarget=7d85e7702025.12 | 2 | 0 | 1 | 1 | |
| BelobogTarget=c2ade0842025.12 | 2 | 0 | 2 | 0 | |
| BelobogTarget=fb8888cb2025.12 | 2 | 0 | 2 | 0 | |
| BelobogTarget=c52c51162025.12 | 1 | 0 | 0 | 1 | |
| BelobogTarget=e3564d472025.12 | 1 | 0 | 1 | 0 | |
| BelobogTarget=54995d2b2025.12 | 1 | 0 | 0 | 1 | |
| BelobogTarget=d46b85fc2025.12 | 1 | 1 | 0 | 0 | |
| BelobogTarget=4a93535d2025.12 | 1 | 0 | 0 | 1 | |
| BelobogTarget=d492c2732025.12 | 1 | 1 | 0 | 0 | |
| BelobogTarget=d3d516212025.12 | 1 | 0 | 1 | 0 | |
| BelobogTarget=67462d312025.12 | 1 | 0 | 1 | 0 | |
| ItyFuzzTarget=52df04992025.12 | 1 | 0 | 1 | 0 | |
| ItyFuzzTarget=54995d2b2025.12 | 1 | 0 | 0 | 1 | |
| ItyFuzzTarget=4a93535d2025.12 | 1 | 0 | 0 | 1 | |
| BelobogTarget=73c071152025.12 | 0 | 0 | 0 | 0 | |
| BelobogTarget=c40e8d172025.12 | 0 | 0 | 0 | 0 |