Compiler-Based Context- and Locking-Analysis for the Linux Kernel (phoronix.com) 2 pts|1 month ago|discuss
