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:https://www.youtube.com/watch?v=8m2fMxvRtgg …
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.
-
-
It would be interesting to know the difference. You haven't published the source code yet, right?
-
Yes, we haven't uploaded the project right now. The project is somewhat huge. We need some time to clean it up. lol.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.