Clang — черный список AddressSanitizer в C ++ не работает
Я пытаюсь получить адресный черный список дезинфицирующего средства, работающий в проекте C ++, но он не работает должным образом. Я попробовал пример на их сайте, если я скомпилирую с clangработает нормально.
build % cat suppress.txt
fun:bad_foo
build % cat foo.c
#include <stdlib.h>
void bad_foo() {
int *a = (int*)malloc(40);
a[10] = 1;
}
int main() { bad_foo(); }
build % clang -fsanitize=address -fsanitize-blacklist=suppress.txt foo.c ; ./a.out
Exit code: 0
Но как только я использую clang++, его игнорируют.
build % cp foo.c foo.cpp
build % clang++ -fsanitize=address -fsanitize-blacklist=suppress.txt foo.cpp ; ./a.out
=================================================================
==9943==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x6040000003f8 at pc 0x00010ff93ee8 bp 0x7ffedfc6c340 sp 0x7ffedfc6c338
WRITE of size 4 at 0x6040000003f8 thread T0
Provided dSYM: [/Users/.../build/./a.out.dSYM/Contents/Resources/DWARF/a.out] does not match symbol owner 0x7fe1b060edc0
#0 0x10ff93ee7 in bad_foo() (a.out:x86_64+0x100000ee7)
#1 0x10ff93f08 in main (a.out:x86_64+0x100000f08)
#2 0x7fff7940508c in start (libdyld.dylib:x86_64+0x1708c)
0x6040000003f8 is located 0 bytes to the right of 40-byte region [0x6040000003d0,0x6040000003f8)
allocated by thread T0 here:
#0 0x10fff2173 in wrap_malloc (libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x5c173)
#1 0x10ff93e93 in bad_foo() (a.out:x86_64+0x100000e93)
#2 0x10ff93f08 in main (a.out:x86_64+0x100000f08)
#3 0x7fff7940508c in start (libdyld.dylib:x86_64+0x1708c)
SUMMARY: AddressSanitizer: heap-buffer-overflow (a.out:x86_64+0x100000ee7) in bad_foo()
Shadow bytes around the buggy address:
0x1c0800000020: fa fa 00 00 00 00 00 fa fa fa 00 00 00 00 00 05
0x1c0800000030: fa fa 00 00 00 00 00 fa fa fa 00 00 00 00 00 05
0x1c0800000040: fa fa 00 00 00 00 00 fa fa fa 00 00 00 00 00 07
0x1c0800000050: fa fa 00 00 00 00 00 fa fa fa 00 00 00 00 00 fa
0x1c0800000060: fa fa 00 00 00 00 00 fa fa fa 00 00 00 00 00 fa
=>0x1c0800000070: fa fa 00 00 00 00 00 05 fa fa 00 00 00 00 00[fa]
0x1c0800000080: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x1c0800000090: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x1c08000000a0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x1c08000000b0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
0x1c08000000c0: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
Shadow byte legend (one shadow byte represents 8 application bytes):
Addressable: 00
Partially addressable: 01 02 03 04 05 06 07
Heap left redzone: fa
Freed heap region: fd
Stack left redzone: f1
Stack mid redzone: f2
Stack right redzone: f3
Stack after return: f5
Stack use after scope: f8
Global redzone: f9
Global init order: f6
Poisoned by user: f7
Container overflow: fc
Array cookie: ac
Intra object redzone: bb
ASan internal: fe
Left alloca redzone: ca
Right alloca redzone: cb
Shadow gap: cc
==9943==ABORTING
[1] 9943 abort ./a.out
Exit code: 134
Я использую clang-7 с releases.llvm.org
build % clang --version
clang version 7.0.0 (tags/RELEASE_700/final)
Target: x86_64-apple-darwin18.2.0
Thread model: posix
InstalledDir: /Users/.../clang+llvm-7.0.0-x86_64-apple-darwin/bin
Это не поддерживается в C ++?
Решение
В C ++ имена функций будут искажены и похоже, что черный список требует, чтобы мы использовали искаженные имена, например:
fun:_Z7bad_foov
тогда это будет работать для меня. Мы можем видеть форму пример, я думаю, что вы используете у них есть пример использования искаженного имени, но они не объясняют это:
# Turn off checks for a particular functions (use mangled names):
fun:MyFooBar
fun:_Z8MyFooBarv
Вы можете использовать утилиту, как нм чтобы найти искаженное имя, например, для вашего примера, когда я делаю:
nm a.out
Я вижу что-то вроде этого:
0000000100000e80 T __Z7bad_foov
...
Не уверен, почему мы получаем дополнительную _ но мы делаем.
Другие решения
Других решений пока нет …