跟着白泽读paper丨Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
PreciseandScalableDetectionofDouble-FetchBugsinOSKernels开源项目地址:https://github.com/sslab-gatech/deadline本文发表于IEEES&P2018,作者是MengXu,ChenxiongQian,KangjieLu,MichaelBackes,TaesooKim。第一作者MengXu来自佐治亚理工学院。本文