Breaking the Coupling: Efficient Concurrency Fuzzing for Linux Kernel Data Race Detection
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 exploring interleavings during fuzzing, often spending substantial scheduling effort on inputs with little potential to trigger real races....