4 ms·kmsan – a detector of uses of uninitialized memory in the Linux kernel1 points by gbrown_ 9y ago