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