ASAN 检测与动态加载库共享的类的 vtable 的 ODR 违规

ASAN detects ODR violation of vtable of class which is shared with dynamically loaded library

本文关键字:vtable ODR 违规 共享 检测 动态 加载 ASAN      更新时间:2023-10-16

我正在做一个项目,该项目有一个"util"库,其中包含日志记录,断言处理等内容。这被编译成一个静态库,并添加了-fPIC。我还有一个插件系统,其中插件是在运行时通过dlopen加载的共享库。这些插件和主可执行文件都使用静态实用程序库。

问题:现在我在使用 ASAN 时遇到AddressSanitizer: odr-violation错误。size=40 'vtable for StdStreamWriter'报告了两次此问题,其中 StdStreamWriter 是静态库中内部使用的接口的实现。

我非常努力地在MWE中重现这一点:

  • 创建一个公开某个函数的静态库
  • 里面使用一个接口和实现在 std::shared_ptr
  • 创建与之链接的共享库
  • 创建针对静态库的可执行文件链接并dlopen共享库

CMakeList.txt

cmake_minimum_required(VERSION 3.8)
project(proj)
set(sanitizer_flags "-fsanitize=address,undefined -fno-omit-frame-pointer")
string(APPEND CMAKE_CXX_FLAGS " ${sanitizer_flags}")
string(APPEND CMAKE_EXE_LINKER_FLAGS " ${sanitizer_flags}")
string(APPEND CMAKE_MODULE_LINKER_FLAGS " ${sanitizer_flags}")
add_library(foo STATIC foo.cpp)
target_compile_features(foo PUBLIC cxx_std_14)
set_target_properties(foo PROPERTIES CXX_EXTENSIONS OFF POSITION_INDEPENDENT_CODE ON)
add_library(lib SHARED lib.cpp)
target_link_libraries(lib foo)
add_executable(main main.cpp)
target_link_libraries(main foo dl)

但是,无论我多么努力,MWE都不会出现问题。

我将差异追溯到nm -C liblib.so | grep vtable的不同结果:

  • MWE(无 ODR 错误(显示V vtable for Impl
  • 针灸程序显示D vtable for StdStreamWriter

我想错误源于DV的差异,这导致 vtables 未合并。

这种差异从何而来?什么时候决定?我将共享库的链接命令精简为基本要素(clang++-8 -shared -fsanitize=address,undefined -o <..> <all *.o and *.so>(,但仍然获得D vtable而不是V vtable

我还能尝试什么来解决这个问题?

这很可能是由 Clang 的 Asan 实现中的一个已知问题引起的,该问题导致它检测具有模糊链接的静态数据(通常是类 vtables 或 typeinfos(的错误 ODR 违规。

作为解决方法,请尝试使用 -mllvm -asan-use-private-alias=1 进行编译,并在运行代码之前执行export ASAN_OPTIONS=use_odr_indicator=1

如果这解决了您的问题,请在上述问题中发表评论,以增加在上游一劳永逸地修复它的机会。