LockDoc is an approach for automated locking analysis in an arbitrary OS kernel. More information to come.
Supported operating systems:
For a detailed manual on how to setup LockDoc, have a look at our manual.
Please cite the EuroSys'19 paper if you want to refer to LockDoc:
-
A. Lochmann. Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen. Dissertation, Technische Universität Dortmund, 2021. PDF
-
A. Lochmann and H. Schirmeier. Beastie In For Checkup: Analyzing FreeBSD with LockDoc. In Tagungsband des FGBS-Herbsttreffens 2021, Gesellschaft für Informatik e.V., 2021. PDF
-
A. Lochmann, R. Thunig and H. Schirmeier. Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing. In Tagungsband des FGBS-Herbsttreffens 2020, Gesellschaft für Informatik e.V., 2020. PDF
-
A. Lochmann, H. Schirmeier, H. Borghorst and O. Spinczyk. LockDoc: Trace-Based Analysis of Locking in the Linux Kernel. In Proceedings of the 14th , ACM Press, 2019.