KASANの仕組みを徹底解剖：Poison、Redzone、Shadow Memoryでバグを狩る

Linuxカーネルのデバッグにおいて強力な味方となる「KASAN (Kernel Address Sanitizer)」。なぜこれほどまでに効率的にメモリ破壊やバッファオーバーフローを検知できるのでしょうか？その核心となる「Poison（毒入れ）」「Redzone（境界領域）」「Shadow Memory（影のメモリ）」という3つの概念を紐解き、カーネル内部で何が起きているのかを詳しく解説します。