KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel - View it on GitHub