Hacker News new | ask | show | jobs
Compiler-Based Context- and Locking-Analysis for the Linux Kernel (phoronix.com)
2 points by mco 164 days ago