Conversation

You guys definitely want to know how to find more data race bugs using a fuzzer. Please check the talk from my labmate Meng Xu. He found 9 harmful race bugs in Linux using Krace. Krace: Data Race Fuzzing for Kernel File Systems #SP20 #IEEESP Video:
1
191
Replying to and
Have you looked at KernelStrider? It uses instrumentation (binary though) to collect event logs from kernel modules and then analyzes them in userspace. The paper doesn't mention it either.