调试内核内存问题:KASAN和UBSAN的使用
1. KASAN简介
KASAN(Kernel Address Sanitizer)是Linux内核中Address Sanitizer(ASAN)工具的移植。ASAN在检测内存相关缺陷方面非常有用,因此在内核中引入类似功能是很自然的。ASAN是少数能检测到导致Heartbleed漏洞的缓冲区越读缺陷的工具之一。
KASAN的一些基本要点有助于我们更好地理解它:
- 动态运行时分析工具 :KASAN在代码运行时工作。这意味着除非代码实际执行,否则KASAN无法捕获任何错误。因此,编写高质量的测试用例(包括正向和反向测试)以及使用模糊测试工具来捕获很少执行的代码路径非常重要。
- 编译时插桩技术(CTI) :KASAN背后的技术是编译时插桩。当使用GCC或Clang的 -fsanitize=kernel-address 选项构建内核时,编译器会插入汇编级指令来验证每个内存访问。此外,每1字节的影子内存用于跟踪8字节的实际内存。
- 相对较低的开销 :KASAN的开销相对较低,大约是2倍到4倍。与Valgrind等动态插桩方法相比,这已经很低了,Valgrind的开销可能轻松达到20倍到50倍。不过,KASAN的RAM开销(而非CPU开销)可能会成为问题,这取决于具体的系统环境。
现代Linux内核支持三种类型的KASAN实现模式:
| 模式 | 开销 | 适用场景 |
| — | — | — |
| 通用KASAN | 高开销,仅用于
超级会员免费看
订阅专栏 解锁全文

2898

被折叠的 条评论
为什么被折叠?



