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 code for the Lock Balancing Checker referenced in the write up is available under an ISC license and can be obtained here: https://github.com/chrissicool/lbc
(Comments are closed)