[$] Software-tag-based KASAN
The kernel address sanitizer (KASAN) is a
kernel debugging tool meant to catch incorrect use of kernel pointers. It
is an effective tool, if the number of KASAN-based bug reports showing up
on the mailing lists is any indication. The downside of KASAN is a
significant increase in the amount of memory used by a running system. The
software-tag-based
mode proposed by Andrey Konovalov has the potential to address that
problem, but it brings some limitations of its own.