消毒用品

排错程序是一组动态分析工具,可通过编译器插入的其他插桩,在运行时发现程序中的错误。这包括检测内存安全问题。Android 支持并强烈建议使用以下排错程序:

硬件辅助的 AddressSanitizer (HWASan)

HWASan 是用于检测内存安全问题的主要消错工具。它需要使用 ARM64,可以检测:

  • 堆栈和堆缓冲区上溢或下溢
  • 释放之后的堆使用情况
  • 超出范围的堆栈使用情况
  • 返回之后的堆栈使用情况
  • 重复释放或错误释放

Address Sanitizer (ASan)

ASan 是一款类似于 HWASan 的工具。它支持更多平台,但不支持 Android。

HWAddress Sanitizer (KASan)

KASan 是上述用户空间工具的内核版本。它采用相同的编译器实现。KASAN 和 ASan/HWASan 互为补充,因为其中一个工具适用于内核,另一个工具适用于用户空间。 我们建议同时启用这两者,以减少 build 配置数量,并减小测试矩阵。

UndefinedBehavior Sanitizer (UBSan)

UBSan 会执行编译时插桩,以检查各种类型的(对内存来说不安全)未定义行为。这包括有符号和无符号整数溢出检查 (IntSan)、对固定大小数组的边界检查 (BoundsSan),以及许多其他类型的未定义行为。IntSan 和 BoundsSan 还非常适合在生产环境中启用,作为安全缓解措施。