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 …
-
-
KTSAN’s instrumentation has conflicts with our instrumentation. So we only tried our lockset+ happens before detector.
-
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.
- 2 more replies
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.