Как заставить AddressSanitizer не останавливаться после одной ошибки (и других проблем)

Я запускаю OS X, 10.8.5; Я установил llvm 3.4 через homebrew (clang version 3.4 (tags/RELEASE_34/final)), и я создаю с -fsanitize = address. Я могу получить asan, работая с простыми демонстрационными программами, но когда вы строите против нашей кодовой базы, у меня есть несколько проблем (хотя я действительно хотел бы ответить на # 1):

  • Сторонние библиотеки генерируют 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
...

    Эта ошибка не приводит к прекращению приложения при запуске unsanitized.

  • Я не могу получить код для ссылки при использовании опций -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. Я использую lldb, поставляемый с инструментами XCode 5; не было lldb, развернутого с пакетом llvm homebew, и я не могу понять, как его построить. Инструкции по сборке введите описание ссылки здесь имеют мертвую ссылку, указывающую на источник, который вы должны использовать; потянув источник непосредственно из хранилища svn, используя:

    svn co http://llvm.org/svn/llvm-project/lldb/tags/RELEASE_34/final lldb

    выводит код, который не компилируется (ошибки предоставляются по запросу).

Ответы

Ответ 1

Вы можете создать свой проект с помощью флагов -fsanitize=address -fsanitize-recover=address и запустить с переменной окружения ASAN_OPTIONS=halt_on_error=0. Источник: https://github.com/google/sanitizers/wiki/AddressSanitizer

Ответ 2

  • Ошибки адресности (особенно повреждение памяти, например, запись OOB, которую вы упомянули) обычно достаточно серьезны, чтобы беспокоиться. Игнорирование их не может отменить их эффекты, и программа, скорее всего, потерпит крах в совершенно несвязанном месте после того, как вы пропустили кучу коррупции. Вы можете попытаться создать собственный Clang с проверкой в ​​readdir_r, но я попытаюсь исправить ошибку в первую очередь.
  • Можете ли вы подать ошибку с шагами воспроизведения на http://code.google.com/p/address-sanitizer?
  • Blacklists только отключает проверку адресности в черных списках, не применяя их, они не проверяют стеки для определенных кадров. Ваша конкретная проверка происходит в функции перехватчика, скомпилированной в библиотеку времени выполнения, поэтому вы не можете даже черным списком. Если ошибка в # 1 находится в какой-либо системной библиотеке и не может быть легко обработана, мы можем рассмотреть возможность добавления опции времени выполнения, чтобы отключить проверки readdir_r.
  • Снова будет оценен отчет об ошибке.

Ответ 3

Кстати, я нашел способ обойти это переполнение кучи в Qt, если вы его создаете из источника. Я полагаю, что проблема связана с 32-битными/64-разрядными инодами (_DARWIN_FEATURE_64_BIT_INODE не определяется, когда я строю Qt по какой-то причине). 
diff --git a/src/corelib/io/qfilesystemiterator_unix.cpp b/src/corelib/io/qfilesystemiterator_unix.cpp
index 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))
             maxPathName = FILENAME_MAX;
+        maxPathName = 99999;
         maxPathName += sizeof(QT_DIRENT) + 1;

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