Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source | Publicación