google / kernel-sanitizers

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

Joern's suggestions #173

Closed melver closed 3 years ago

melver commented 3 years ago

These had already been posted in on kasan-dev in the discussion with Joern. I'll send them after 5.11-rc1.

ramosian-glider commented 3 years ago

LGTM otherwise.