几个消毒剂(来自 GCC 或 Clang)不能组合 - 即在同一构建中同时使用,但 Asan 和 Ubsan 是可组合的 - 即我可以使用“-fsanitize=address,undefined -fsanitize-recover=all ...”构建并有一个执行两个消毒剂检查的 exe。到目前为止一切都很好。
不过,生成的可执行文件中的 LOGGING 似乎有问题。
在所有情况下,如果未在选项中设置“log_path”,则所有缺陷都会在 stderr 上报告。到目前为止还可以。但是尝试使用 log_path ,事情变得很奇怪:
- 对于仅使用 Asan 构建的 exe,并将 ASAN_OPTIONS 设置为包含“log_path=./ASAN”,Address Saniitizer 缺陷将进入名为 ASAN 的文件中。
- 对于仅使用 Ubsan 构建的 exe,并将 UBSAN_OPTIONS 设置为包含“log_path=./UBSAN”,未定义行为缺陷将进入名为 UBSAN 的文件中。
- 对于同时使用 Asan 和 Ubsan 构建的 exe o Asan 输出到指定的日志文件,但 ubsan 输出只到 stderr在 ASAN_OPTIONS 和 UBSAN_OPTIONS 中设置,使用的 log_path 是 UBSAN 之一,但只包含 ASAN 结果
是否有一些隐藏的魔法可以让两个消毒剂写入同一个缺陷日志?
要重现,请使用每个消毒剂都有缺陷的简单测试用例:
char *hello = "hello";
int main (int argc, char *argv[])
{
int x = 1;
x <<= 32; // Error: (1 << 32) can't be represented in a (32-bit) int
char some_char = hello [argc *10];
}
构建并运行:(此处使用 g++ 7.3.0,但其他 GCC 版本以及 clang 7.1.0 也显示出相同的基本行为)
仅限 Asan - 按预期工作
g++ foo.C -fsanitize=address -fsanitize-recover=all -g
setenv ASAN_OPTIONS "log_path=./ASAN:halt_on_error=0:handle_abort=1:exitcode=0"
a.out
归档 ASAN。29648 包含以
==29648==错误:AddressSanitizer:全局缓冲区溢出地址 0x000000400aca 在 pc 0x0000004009a5 bp 0x7ffffffffe090 sp 0x7ffffffffe088
在 main /tmp/foo.C:7 中的 0x000000400aca 线程 T0 0x4009a4 处读取大小 1
仅 Ubsan - 按预期工作
g++ foo.C -fsanitize=undefined -fsanitize-recover=all -g
setenv UBSAN_OPTIONS "log_path=./UBSAN:halt_on_error=0:handle_abort=1:exitcode=0”
a.out
文件 UBSAN.29675 包含
foo.C:6:6:运行时错误:移位指数 32 对于 32 位类型“int”而言太大
Asan PLUS Ubsan - 奇怪的日志记录行为
g++ foo.C -fsanitize=address,undefined -fsanitize-recover=all -g
setenv ASAN_OPTIONS "log_path=./ASAN:halt_on_error=0:handle_abort=1:exitcode=0"
a.out
ASAN_OPTIONS 被忽略,所有缺陷都报告在标准错误上。现在尝试设置 UBSAN_OPTIONS:
setenv UBSAN_OPTIONS "log_path=./UBSAN:halt_on_error=0:handle_abort=1:exitcode=0”
a.out
文件 UBSAN.30352 仅包含Asan缺陷:
==30352==错误:AddressSanitizer:全局缓冲区溢出地址 0x000000400aca 在 pc 0x0000004009a5 bp 0x7ffffffffe090 sp 0x7ffffffffe088 读取大小 1 在 0x000000400aca 线程 T0 0x4009a4 在主 /tmp/foo.C:7
并且 Ubsan 缺陷仅写入 stderr:
foo.C:6:6:运行时错误:移位指数 32 对于 32 位类型“int”而言太大