9

以下测试用例是从实际应用程序中简化而来的，无法与-fsanitize=undefined（使用 GCC 6.1.1）链接，但没有它也可以正常链接。谁能告诉我为什么？

它似乎与 Qt/QObject、-fvisibility=hidden和的组合有关-fsanitize=undefined，但问题出在哪里，我无法理解。

lib1.h：

#include <QObject>

class MyObject : public QObject
{
public:
    MyObject (QObject * parent = nullptr);
    ~MyObject ();

    void myMethod ();
};

lib1.cc：

#include "lib1.h"

#define EXPORT __attribute__((visibility("default")))

EXPORT MyObject::MyObject (QObject * parent) : QObject (parent)
{
}

EXPORT MyObject::~MyObject ()
{
}

EXPORT void MyObject::myMethod ()
{
}

lib2.cc：

#include "lib1.h"

void test (MyObject * object)
{
    object->myMethod ();
}

构建步骤：

LIBFLAGS="-fPIC -shared -Wall -Wl,-z,defs"
QTFLAGS="-I/usr/include/qt -I/usr/include/qt/QtCore -lQt5Core"

g++ -fsanitize=undefined -fvisibility=hidden \
 ${QTFLAGS} ${LIBFLAGS} lib1.cc -o lib1.so

g++ -fsanitize=undefined \
 ${QTFLAGS} ${LIBFLAGS} lib1.so lib2.cc -o lib2.so

构建输出（来自最后一步）：

/tmp/ccY7PHv4.o:(.data.rel+0x18): undefined reference to `typeinfo for MyObject'
collect2: error: ld returned 1 exit status
4

2 回答 2

12

所问的实际问题的答案是，-fsanitize=undefined实际上是包括消毒剂在内的vptr消毒剂的集合。

https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html

消毒剂清楚地vptr标记为需要 RTTI，其他答案已经描述了为什么它不可用。

要运行除vptr 之外的所有测试，您可以说

-fsanitize=undefined -fno-sanitize=vptr
于 2018-01-18T13:00:31.040 回答
3

我认为这-fsanitize=undefined是一个红鲱鱼。

您只是导出该类的成员函数。为了同时导出它的元数据（比如它的 typeinfo 和潜在的 v-table 指针），您需要导出class。

尝试这个

class EXPORT MyObject : public QObject
{
public:
    MyObject (QObject * parent = nullptr);
    ~MyObject ();

    void myMethod ();
};

那么您应该不需要标记各个成员函数。

于 2016-05-24T02:28:48.190 回答