AddressSanitizer 与 UndefinedBehaviorSanitizer | C语言

本章覆盖:AddressSanitizer 检测越界、Use-After-Free 等内存错误;UndefinedBehaviorSanitizer 检测部分未定义行为;-fsanitize=address;-fsanitize=undefined;Sanitizer 不是形式证明,也不能覆盖所有输入;修根因而不是忽略报告。

本章知识点

  • AddressSanitizer 检测越界、Use-After-Free 等内存错误
  • UndefinedBehaviorSanitizer 检测部分未定义行为
  • -fsanitize=address
  • -fsanitize=undefined
  • Sanitizer 不是形式证明,也不能覆盖所有输入
  • 修根因而不是忽略报告