KRACE
(2020) - A coverage-guided fuzzing framework that detects data races in kernel file systems by exploring concurrency through multi-threaded syscall sequences.
- from
- Fuzzing
- added
- 2026-10-10
- likes
- 0
similar
-
Krace: Data Race Fuzzing for Kernel File Systems, 2020 cc.gatech.edu
-
Razzer github.com
(2019) - A kernel fuzzer that uses static analysis and two-phase fuzzing to detect race conditions and concurrency bugs in Linux kernels.
-
MorFuzz github.com
A generic RISC-V processor fuzzing framework that can efficiently detect software triggerable functional bugs.
-
-
SegFuzz github.com
(2023) - A kernel concurrency fuzzer that uses interleaving segment coverage and mutation-based thread scheduling to discover bugs.
-
Fuzzing › Tools > Kernel: “(2020) - A coverage-guided fuzzing framework that detects data races in kernel file systems by exploring concurrency through multi-threaded syscall sequences.”