Compiler-Based Context- and Locking-Analysis for the Linux Kernel
phoronix.com