Breaking the Coupling: Efficient Concurrency Fuzzing for Linux Kernel Data Race Detection

Cen Zhang, Jia-Ju Bai, Zi-Yu Zhang +1

Detecting data races in the Linux kernel requires exploring both the input space and the thread-interleaving space. Existing kernel concurrency fuzzers couple these two searches by…