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