OpenBSD Journal

Analyzing locks in OpenBSD’s Kernel with Domain-Specific Knowledge

Contributed by grey on from the The Egyptian Lover has "Poppers Anthem" where's Lockers Lullaby dept.

Christian Ludwig "wrote a tool to statically analyze spl(9) kernel locking in OpenBSD. It even found some bugs."

His write up is here:

His code for the Lock Balancing Checker referenced in the write up is available under an ISC license and can be obtained here:

(Comments are closed)


Copyright © - Daniel Hartmeier. All rights reserved. Articles and comments are copyright their respective authors, submission implies license to publish on this web site. Contents of the archive prior to as well as images and HTML templates were copied from the fabulous original with Jose's and Jim's kind permission. This journal runs as CGI with httpd(8) on OpenBSD, the source code is BSD licensed. undeadly \Un*dead"ly\, a. Not subject to death; immortal. [Obs.]