【bsauce读论文】Krace：Data Race Fuzzing for Kernel File Systems-S&P2020 — bsauce

[bsauce]

https://bsauce.github.io/2020/10/30/Krace/

扩展学习：lockset分析、happens-before分析。