毒化、红色区域与影子内存：走进 KASAN
本文深入解析内核地址消毒器（KASAN）的内部工作原理，重点介绍其如何通过毒化（poison）内存区域、设置红色区域（redzones）以及管理影子内存（shadow memory）来检测内存越界访问和释放后使用等常见错误。文章详细阐述了 KASAN 的两种模式——基于编译器的元数据模式和基于硬件的标签模式，并展示了这些技术如何协同工作以保障内核内存安全。
背景速读
- KASAN（Kernel Address Sanitizer）是Linux内核中的一种动态内存错误检测工具，用于发现使用已释放内存（use-after-free）、越界访问（out-of-bounds）等严重漏洞。它最初由Google的KernelCI团队开发，后合并入主线内核，现代数据中心和Android设备的内核中几乎都默认开启。
- KASAN的核心机制包括“poison”（毒化）已释放或未分配的内存区域，使其在访问时触发报错；“redzone”（红区）是在合法内存块周围插入的不可访问区域，用来捕捉越界读写；“shadow memory”（影子内存）则是一种元数据映射，用少量物理内存记录内核每个字节是否可访问、是否被“毒化”。
- 理解KASAN需要知道内核内存分配器（如slab allocator）的工作方式——它负责高效地分配和回收小块内存。KASAN就是在这个分配器之上加了一层检测逻辑。
- 近年KASAN的一个重要演进是“Generic KASAN”（较早实现，速度较慢但检测更全面）与“Hardware-tagged KASAN”（利用ARM v8.5的MTE硬件扩展，性能影响大幅降低）的分化。这篇博客详细剖析了KASAN在软件层面的实现细节，对想理解内核防御机制或参与内核安全开发的工程师很有参考价值。