AddressSanitizer

AddressSanitizer

Sanitizers

• -fsanitize-recover[=opts]

  -fsanitize-recover=用于控制opts中列出的Sanitizer的错误恢复模式，opts列表中的每一项Sanitizer以逗号分隔。对Sanitizer组件启用此选项会导致程序在发生错误时尝试继续运行。这意味着在一次程序运行中可以报告多个运行时错误，即使报告了错误，程序也会正常执行完毕退出（而不是中断执行退出）。-fno-sanitize-recover=选项作用刚好相反：它只会报告第一个检测到的错误，然后程序以非零码退出（非正常退出）。

  目前，错误恢复模式特性仅对以下Sanitizer组件有效：-fsanitize=undefined （其子选项也有效，但不包括-fsanitize=unreachable和-fsanitize=return），-fsanitize=float-cast-overflow，-fsanitize=float-divide-by-zero，-fsanitize=bounds-strict，-fsanitize=kernel-address和-fsanitize=address。这些Sanitizers中除了-fsanitize=address之外默认是启用错误恢复模式的，因为-fsanitize=address为实验性特性，所以暂时并未默认启用错误恢复模式。opts可接受的选项还有-fsanitize-recover=all和-fno-sanitize-recover=all。-fsanitize-recover=all用于对所有支持错误恢复模式的Sanitizer启用错误恢复模式，-fno-sanitize-recover=all用于对所有支持错误恢复模式的Sanitizer禁用错误恢复模式。

  即使在编译器端打开了恢复模式，也需要在运行时库端启用它，否则故障仍然是致命的（依然会导致异常退出）。运行时库对于ThreadSanitizer和UndefinedBehaviorSanitizer默认值为halt_on_error=0，而对于AddressSanitizer默认值为halt_on_error=1。这可以通过在相应的环境变量中设置halt_on_error错误标志来覆盖。

  不推荐使用没有显式指定opts参数的语法。这相当于指定以下opt列表：undefined,float-cast-overflow,float-divide-by-zero,bounds-strict。

参考文献

1. GCC-11.2.0 / Instrumentation-Options