KernelMemorySanitizer: detector of uninitialized memory uses in the Linux kernelgithub.com/google5 pointsmatt_d9 years ago