使用GCC未定义行为杀毒器

Question

今天我读了一篇关于GCC未定义行为消毒程序(ubsan)的文章。然而，当我按照那里的步骤(将-fsanitize=undefined添加到我的代码中)，编译器(Ubuntu 15.04上的GCC 4.9.2)说一些引用没有定义:

||=== Build: Debug in Project (compiler: GNU GCC Compiler) ===|
obj/Debug/App.o||In function `App::OnInit()':|
/home/ilya/Project/App.cpp|31|undefined reference to `__ubsan_handle_type_mismatch'|
/home/ilya/Project/App.cpp|31|undefined reference to `__ubsan_handle_load_invalid_value'|
...
obj/Debug/App.o||In function `wxObjectEventFunctor::operator()(wxEvtHandler*, wxEvent&)':|
/usr/include/wx-3.0/wx/event.h|3757|undefined reference to `__ubsan_handle_add_overflow'|
obj/Debug/App.o||In function `std::_Vector_base<unsigned long long, std::allocator<unsigned long long> >::~_Vector_base()':|
/usr/include/c++/4.9/bits/stl_vector.h|161|undefined reference to `__ubsan_handle_sub_overflow'|
...
||More errors follow but not being shown.|
||Edit the max errors limit in compiler options...|
||=== Build failed: 50 error(s), 0 warning(s) (0 minute(s), 23 second(s)) ===|

我该如何解决这个问题?

Answer 1

你引用的那篇文章，就像在它的新家看到的那样，已经提供了答案，但是你没有注意到它:-)我的加粗:

GCC最近(版本4.9)获得了未定义行为消毒器 (ubsan)，这是一个用于C和c++语言的运行时检查器。为了用ubsan检查你的程序，编译并使用-fsanitize=undefined选项链接程序。

我认为解决这个问题的正确方法不是手动链接ubsan，而是简单地将-fsanitize=undefined传递给链接器，而不仅仅是编译器。当然，重新发明轮子可能对您有用，但这是不必要的，并且可能有一个特定的链接器标志来代替它的原因。

当然，这是有效的:我突然得到成堆的未定义的引用错误，在放弃和不使用它几个月后，yugr的答案在这里指出了我在正确的方向:我只传递-fsanitize=undefined到meson.add_project_arguments()，但那些只去编译器;我还需要将其传递给meson.add_project_link_arguments()。添加后，错误消失，程序链接。

Answer 2

我已经安装了libubsan0和lib64ubsan0，并添加了-lubsan选项，我的应用程序编译成功!