golang 使用 cgo 调用 c 库时未检测到 sanitizer-leak

Question

概括

以前我使用 clang-3.8.1 并且使用 AddressSanitizer 时 sanitizer 崩溃了。而leakSanitizer 根本不起作用。

然后我尝试使用clang-llvm-10.0，AddressSanitizer可以检测到地址问题并正常工作。

但是当golang使用cgo调用C时无法检测到泄漏问题。当golang使用CGO时，是否可以使用leak-sanitizer来检测C/C++库中的内存泄漏问题？

例子

cgo-sanitizer.go：预计会检测到地址问题。

package main

// #include <stdlib.h>

//

// int test()

// {

//   int *p = (int *)malloc(10 * sizeof(int));

//   free(p);

//   p[1] = 42;

//   return p[1];

// }

import "C"

import "fmt"

func main() {

  fmt.Println(int(C.test()))

  // Output: 42

}

输出

[root@380c7770b175 cplusplus]# CC="clang" CGO_CFLAGS="-O0 -g -fsanitize=address" CGO_LDFLAGS="-fsanitize=address" go run cgo-sanitizer.go

=================================================================

==25680==ERROR: AddressSanitizer: heap-use-after-free on address 0x604000000014 at pc 0x00000054fc2d bp 0x7ffd96a943b0 sp 0x7ffd96a943a8

WRITE of size 4 at 0x604000000014 thread T0

    #0 0x54fc2c in test (/tmp/go-build237509829/b001/exe/cgo-sanitizer+0x54fc2c)

    #1 0x54fcc1 in _cgo_a3187169dba5_Cfunc_test (/tmp/go-build237509829/b001/exe/cgo-sanitizer+0x54fcc1)

    #2 0x5159df  (/tmp/go-build237509829/b001/exe/cgo-sanitizer+0x5159df)

cgo-sanitizer-leak.go：未检测到泄漏问题。为什么？

package main

// #include <stdlib.h>

//

// int *p;

// int test()

// {

//   p = (int *)malloc(10 * sizeof(int));

//   p = 0;

//   return 52;

// }

import "C"

import "fmt"

func main() {

  fmt.Println(int(C.test()))

  // Output: 52

}

[root@380c7770b175 cplusplus]# CC="clang" CGO_CFLAGS="-O0 -g -fsanitize=leak" CGO_LDFLAGS="-fsanitize=address" go run cgo-sanitizer-leak.go

52

环境

[root@380c7770b175 cplusplus]# cat /proc/version

Linux version 3.10.0-493.el7.x86_64 ([e-mail]) (gcc version 4.8.5 20150623 (Red Hat 4.8.5-9) (GCC) ) #1 SMP Tue Aug 16 11:45:26 EDT 2016

原始问题

https://github.com/google/sanitizers/issues/1223

Answer 1

我已经通过__lsan_do_leak_check()在进程退出时显式调用来解决它。__lsan_do_leak_check() 在https://github.com/llvm/llvm-project/blob/master/compiler-rt/include/sanitizer/lsan_interface.h我猜它与 c-main 启动机制有关，并且 __lsan_do_leak_check() 没有为 golang 启动注册。欢迎任何可以持续挖掘它的人。

Answer 2

如果您的主程序是用 Go 编写的，您需要手动调用 __lsan_do_leak_check。如果您的 main 是 C/C++ 并且 Go 作为库调用，则不需要它。这是一个简单的例子package main// #include <stdio.h>// #include <stdlib.h>//// void __lsan_do_leak_check(void);//// void leak_a_bit(void)// {//&nbsp; &nbsp; &nbsp;char* p = malloc(2000);//&nbsp; &nbsp; &nbsp;printf("%p\n", p);// }import "C"func main() {&nbsp; &nbsp; &nbsp; &nbsp; C.leak_a_bit()&nbsp; &nbsp; &nbsp; &nbsp; C.__lsan_do_leak_check()}像这样编译运行$ CC=clang CGO_ENABLED=1 CGO_LDFLAGS='-fsanitize=address' CGO_CFLAGS='-fsanitize=address' go build -o main$ ./main