Compiler-Based Context- and Locking-Analysis for the Linux Kernel | Dark Hacker News