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 …
-
Show this thread
-
The paper is here: https://cc.gatech.edu/~mxu80/pubs/xu:krace.pdf … BTW, the leader of this project, Meng Xu(https://cc.gatech.edu/~mxu80/ ), will be joining the University of Waterloo as an assistant professor in 2021. You can contact him for research opportunities in security, system, and program analysis.
1 reply 3 retweets 13 likesShow this thread -
Replying to @andreyknvl @hankein95
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.https://github.com/euspectre/kernel-strider …
0 replies
0 retweets
2 likes
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.