macos - 如何使 AddressSanitizer 在出现一个错误（和其他问题）后不停止

Question

我正在运行 OS X，10.8.5；我已经通过自制软件（clang 版本 3.4 (tags/RELEASE_34/final)）安装了 llvm 3.4，并且正在使用 -fsanitize=address 进行构建。我可以使用简单的演示程序，但是在针对我们的代码库进行构建时，我遇到了几个问题（尽管我真的很想回答 #1）：

第 3 方库正在生成 asan 错误，并且 asan 在第一次出现时终止我的应用程序。我认为会有某种（运行时/编译时）选项告诉 asan 在发现错误后继续前进。具体来说，我看到了这个：

bash-3.2$ ASAN_SYMBOLIZER_PATH=/usr/local/Cellar/llvm34/3.4/lib/llvm-3.4/bin/llvm-symbolizer ./unit_test
Start testing of PathTrieTest
Config: Using QTest library 4.8.2, Qt 4.8.2
PASS   : PathTrieTest::initTestCase()
PASS   : PathTrieTest::pathTrieNodeTest()
=================================================================
==76647==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x61600019e588 at pc 0x10891ddd3 bp 0x11312ba90 sp 0x11312ba58
WRITE of size 48830 at 0x61600019e588 thread T3
    #0 0x10891ddd2 in wrap_readdir_r (/usr/local/lib/llvm-3.4/lib/clang/3.4/lib/darwin/libclang_rt.asan_osx_dynamic.dylib+0x11dd2)
    #1 0x10ac23571 in QFileSystemIterator::advance(QFileSystemEntry&, QFileSystemMetaData&) (/Volumes/ToolChain/qt-4.8/lib/QtCore.framework/Versions/4/QtCore+0xef571)
    #2 0x10abd86d3 in QDirIteratorPrivate::advance() (/Volumes/ToolChain/qt-4.8/lib/QtCore.framework/Versions/4/QtCore+0xa46d3)
    #3 0x10abd7a7f in QDirIteratorPrivate::QDirIteratorPrivate(QFileSystemEntry const&, QStringList const&, QFlags<QDir::Filter>, QFlags<QDirIterator::IteratorFlag>, bool) (/Volumes/ToolChain/qt-4.8/lib/QtCore.framework/Versions/4/QtCore+0xa3a7f)
    #4 0x10abd8b68 in QDirIterator::QDirIterator(QDir const&, QFlags<QDirIterator::IteratorFlag>) (/Volumes/ToolChain/qt-4.8/lib/QtCore.framework/Versions/4/QtCore+0xa4b68)
    #5 0x10abd7609 in QDirPrivate::initFileLists(QDir const&) const (/Volumes/ToolChain/qt-4.8/lib/QtCore.framework/Versions/4/QtCore+0xa3609)
    #6 0x10abd5394 in QDir::count() const (/Volumes/ToolChain/qt-4.8/lib/QtCore.framework/Versions/4/QtCore+0xa1394)
    #7 0x1084c205d in get_count(QFileInfo&) /Users/stebro/dev_vm/ui/ui/fsinfoprovider.cpp:36
...

此错误不会导致应用程序在未经处理的情况下终止。

使用 -fsanitize=undefined（或 -fsanitize=address,undefined）选项时，我无法获取要链接的代码。我在我的编译和链接命令中都包含了 -fsanitize=undefined 行，但是我得到了链接错误，例如：

    Undefined symbols for architecture x86_64:
      "typeinfo for __cxxabiv1::__class_type_info", referenced from:
          __ubsan::checkDynamicType(void*, void*, unsigned long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)
          isDerivedFromAtOffset(__cxxabiv1::__class_type_info const*, __cxxabiv1::__class_type_info const*, long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)
          findBaseAtOffset(__cxxabiv1::__class_type_info const*, long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)
    "typeinfo for __cxxabiv1::__si_class_type_info", referenced from:
          isDerivedFromAtOffset(__cxxabiv1::__class_type_info const*, __cxxabiv1::__class_type_info const*, long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)
          findBaseAtOffset(__cxxabiv1::__class_type_info const*, long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)
    "typeinfo for __cxxabiv1::__vmi_class_type_info", referenced from:
          isDerivedFromAtOffset(__cxxabiv1::__class_type_info const*, __cxxabiv1::__class_type_info const*, long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)
          findBaseAtOffset(__cxxabiv1::__class_type_info const*, long) in libclang_rt.ubsan_osx.a(ubsan_type_hash.o)

我无法让黑名单工作，而且 -mllvm -asan-globals=0 或 -mllvm -asan-stack=0 似乎没有像我预期的那样工作。例如，后者不会抑制上面 #1 中列出的错误的生成，并且创建一个如下所示的黑名单也不会抑制错误：
```
fun:QDirPrivate::initFileLists
fun:get_count
fun:*opendir2*
```
最后，使用这些 asan 选项生成的可执行文件会导致 lldb 崩溃。我正在使用 XCode 5 工具附带的 lldb；homebew llvm 包没有部署 lldb，我不知道如何构建它。构建说明在此处输入链接描述有一个指向您应该使用的源的死链接；直接从 svn 存储库中提取源代码，使用：
```
svn co http://llvm.org/svn/llvm-project/lldb/tags/RELEASE_34/final lldb
```
导致代码无法编译（根据要求提供错误）。

score 30 · Accepted Answer

您可以使用-fsanitize=address -fsanitize-recover=address标志构建项目，并使用环境变量运行ASAN_OPTIONS=halt_on_error=0。来源：https ://github.com/google/sanitizers/wiki/AddressSanitizer

score 6 · Accepted Answer

可寻址性错误（尤其是您提到的 OOB 写入之类的内存损坏）通常严重到需要担心。忽略它们无法撤消它们的影响，并且在您跳过堆损坏后，程序很可能会在完全不相关的地方崩溃。您可以尝试在 readdir_r 禁用检查的情况下构建自己的 Clang，但我会尝试首先修复错误。
您能否在http://code.google.com/p/address-sanitizer提交一个带有复制步骤的错误？
黑名单仅通过不检测黑名单函数来禁用可寻址性检查，它们不会检查堆栈中的某些帧。您的特定检查发生在编译到运行时库中的函数拦截器中，因此您甚至不能将其列入黑名单。如果 #1 中的错误在某些系统库中并且无法轻松解决，我们可以考虑添加一个运行时选项来禁用 readdir_r 检查。
再次，将感谢错误报告。

score 1 · Accepted Answer

顺便说一句——如果你从源代码构建它，我找到了一种解决 Qt 中这个堆溢出的方法。我相信这个问题与 32 位 / 64 位 inode 有关（_DARWIN_FEATURE_64_BIT_INODE由于某种原因在我构建 Qt 时没有定义）。

差异 --git a/src/corelib/io/qfilesystemiterator_unix.cpp b/src/corelib/io/qfilesystemiterator_unix.cpp
索引 029b989..76b176f 100644
--- a/src/corelib/io/qfilesystemiterator_unix.cpp
+++ b/src/corelib/io/qfilesystemiterator_unix.cpp
@@ -75,6 +75,7 @@ QFileSystemIterator::QFileSystemIterator(const QFileSystemEntry &entry, QDir::Fi
         size_t maxPathName = ::pathconf(nativePath.constData(), _PC_NAME_MAX);
         if (maxPathName == size_t(-1))
             最大路径名 = 文件名_MAX；
+ 最大路径名 = 99999；
         maxPathName += sizeof(QT_DIRENT) + 1;

         QT_DIRENT *p = reinterpret_cast(::malloc(maxPathName));

macos - 如何使 AddressSanitizer 在出现一个错误（和其他问题）后不停止

3 回答 3

Related

Reference