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 …
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.