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
I don't suggest running KTSAN and Krace at the same time of course :) I would think the approaches to instrumentation should be really similar though, both tools use compiler instrumentation for memory accesses and code annotations for locking primitives.
1