2017-12-21 15 views
0

valgrind、gperftools、libasanなどのツールを使用して、より複雑なシステムでメモリリークを検出しようとしています。私は私が考えることができる最も簡単なプログラムを作ったので、私が取り除くことができなかったリークを得ていた。リークサニタイザ検出リーク

なぜLeakSanitizerは依然としてリークを報告していますか?ここで

は私のメインのファイルです。ここでtest.cc

// File: test.cc 

int main() 
{ 
    unsigned char* data = new unsigned char[1024]; 
    delete[] data; 
    data = 0; 

    return 0; 
} 

は私のMakefileです:

# Makefile 

CC=g++ 
FLAGS=--std=c++11 -O0 -g -I. -fsanitize=address -fno-omit-frame-pointer -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free 
TGT=run 
LINK=-static-libasan -ltcmalloc 

all: $(TGT) 

$(TGT): 
     $(CC) $(FLAGS) test.cc -o $(TGT) $(LINK) 

clean: 
     rm -f $(TGT) 

あなたが使用してプログラムを実行することができます:分析がある

env ASAN_OPTIONS=symbolize=1 ASAN_SYMBOLIZER_PATH=/usr/bin/llvm-symbolizer-3.8 ./run 

================================================================= 
==23139==ERROR: LeakSanitizer: detected memory leaks 

Direct leak of 8 byte(s) in 1 object(s) allocated from: 
    #0 0x481492 in operator new(unsigned long) (/home/user/tests/cpp/leakTest/basic/run+0x481492) 
    #1 0x7f46c64bf0dd in InitModule src/malloc_extension.cc:212 

SUMMARY: AddressSanitizer: 8 byte(s) leaked in 1 allocation(s). 

私のシステム:

[email protected]:~$ lsb_release -a 
LSB Version: core-9.20160110ubuntu0.2-amd64:core-9.20160110ubuntu0.2-noarch:security-9.20160110ubuntu0.2-amd64:security-9.20160110ubuntu0.2-noarch 
Distributor ID: Ubuntu 
Description: Ubuntu 16.04.3 LTS 
Release: 16.04 
Codename: xenial 

[email protected]:~/$ uname -a 
Linux computer 4.4.0-103-generiC#126-Ubuntu SMP Mon Dec 4 16:23:28 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux 

[email protected]:~/$ dpkg -l | grep asan 
ii libasan2:amd64        5.4.0-6ubuntu1~16.04.5      amd64  AddressSanitizer -- a fast memory error detector 

[email protected]:~/$ dpkg -l | grep llvm 
ii libllvm3.6v5:amd64       1:3.6.2-3ubuntu2        amd64  Modular compiler and toolchain technologies, runtime library 
ii libllvm3.8:amd64        1:3.8-2ubuntu4        amd64  Modular compiler and toolchain technologies, runtime library 
ii libllvm4.0:amd64        1:4.0-1ubuntu1~16.04.2      amd64  Modular compiler and toolchain technologies, runtime library 
ii llvm           1:3.8-33ubuntu3.1       amd64  Low-Level Virtual Machine (LLVM) 
ii llvm-3.8          1:3.8-2ubuntu4        amd64  Modular compiler and toolchain technologies 
ii llvm-3.8-dev         1:3.8-2ubuntu4        amd64  Modular compiler and toolchain technologies, libraries and headers 
ii llvm-3.8-runtime        1:3.8-2ubuntu4        amd64  Modular compiler and toolchain technologies, IR interpreter 
ii llvm-runtime         1:3.8-33ubuntu3.1       amd64  Low-Level Virtual Machine (LLVM), bytecode interpreter 

[email protected]:~/$ dpkg -l | grep tcmalloc 
ii libtcmalloc-minimal4       2.4-0ubuntu5.16.04.1       amd64  efficient thread-caching malloc 

[email protected]:~/$ g++ -v 
Using built-in specs. 
COLLECT_GCC=g++ 
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper 
Target: x86_64-linux-gnu 
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.4.0-6ubuntu1~16.04.5' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu 
Thread model: posix 
gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.5) 

[email protected]:~/$ dpkg -l | grep libstdc 
ii libstdc++-5-dev:amd64       5.4.0-6ubuntu1~16.04.5      amd64  GNU Standard C++ Library v3 (development files) 
ii libstdc++6:amd64        5.4.0-6ubuntu1~16.04.5      amd64  GNU Standard C++ Library v3 

EDIT:うーん。 Makefile内のasanのリンケージを '-static-libasan'から '-lasan'に変更すると、リークは報告されません。私は-static-libasanとリンクしてはいけませんか?

+0

その任意のチャンスLeakSanitizerはフレームポインタに依存しますか? –

+0

静的リンケージはうまくいくはずですが、静的リンケージを使った誤検出は、静的ライブラリの問題ではなくプログラムの限界だと思う傾向があります。 –

+0

@JustinRandall '-fno-omit-frame-pointer'を削除しても差は出ませんでした。プログラムの制限は何ですか?申し訳ありませんが、私はこのレベルのデバッグに精通していません。 – vincent

答えて

1

私はtcmallocに慣れていませんが、意図的にそのオブジェクトを漏らしているようです。 ザは漏れ指摘:

Direct leak of 8 byte(s) in 1 object(s) allocated from: 
    #0 0x481492 in operator new(unsigned long) (/home/user/tests/cpp/leakTest/basic/run+0x481492) 
    #1 0x7f46c64bf0dd in InitModule src/malloc_extension.cc:212 

は、このソースコード(github)と相関:

static void InitModule() { 
    current_instance = new MallocExtension; // reported leak 
#ifndef NO_HEAP_CHECK 
    HeapLeakChecker::IgnoreObject(current_instance); 
#endif 
} 

また、いくつかのvalgrindのバージョンによって検出されることが報告された:
https://github.com/gperftools/gperftools/issues/758

+0

Hm。この関数宣言の直前では、current_instanceは静的変数として宣言されています。次に、InitModuleの後の関数は、current_instance(シングルトンとして)を返します。なぜそれがリークですか? – vincent

+0

@vincentその静的は動的に割り当てられているので、プログラムが終了する前に割り当てが解除されることが予想されます。それはvalgrind/asanの静的な統計と非静的な統計は区別されません。場合によっては、いくつかのオブジェクトの割り当てを解除し、OSがそのメモリを解放するのを避けることが理にかなっています(これはtcmallocの設計上の選択かもしれません)。この回答も参照してください。https://stackoverflow.com/questions/10572610/memory-leaks-when-using-a-singleton – valiano

+0

それは意味があります。ありがとう。 – vincent

関連する問題