Linux Kernel
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Kernel Fuzzing | Linux Kernel 10 Targets | Edge Coverage50,260 | 22 | |
| Kernel Fuzzing | Linux Kernel 6.2 | Branch Coverage106 | 5 | |
| Kernel Fuzzing | Linux Kernel 6.12 | Crash Count257 | 2 | |
| Kernel Fuzzing | Linux Kernel 6.1 | Crashes Detected425 | 2 | |
| Kernel Fuzzing | Linux Kernel 5.19 | Crashes524 | 2 | |
| Kernel Contract Verification | Linux Kernel | Metric- | 0 |
Showing 6 of 6 rows