search

google / kernel-sanitizers

Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
https://google.github.io/kernel-sanitizers/
442 stars 87 forks source link

Fix #102 #104

Closed ramosian-glider closed 4 years ago

ramosian-glider commented 4 years ago

also minor formatting fixes