search

google / kmsan

KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
Other
406 stars 63 forks source link

few fixes for false positives #15

Closed dvyukov closed 6 years ago

dvyukov commented 6 years ago

Maybe imperfect, but will allow us to move forward.