1

几个消毒剂(来自 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”而言太大

4

3 回答 3

0

已确认这实际上是一个错误。 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94328适用

于 2020-03-25T23:47:24.570 回答
0

并且 Ubsan 缺陷仅写入 stderr:

这听起来像一个错误(或至少未经测试的设置组合)。

也就是说,一般来说,ASan 开发人员不认为halt_on_error=0这是一个有用的功能——您应该在发现错误时修复它们,因为在您已经溢出缓冲区或使用悬空内存之后寻找 UB是没有意义的。在那之后,任何事情都可能发生。

因此,如果您确实提交了有关这种奇怪的日志记录行为的错误,我希望该错误不会受到关注。

于 2020-03-21T15:36:47.403 回答
0

我一直在寻找一种avr-gcc在没有控制台检测运行时代码已崩溃的情况下使用 AddressSantizer 的方法。我仍然需要尝试它,但我相信这个用例是这个特性没有用的反例。

于 2020-10-17T00:12:40.850 回答