Вызов функции (неизвестно) через указатель на неверный тип функции

Question

У меня есть программа, которая динамически связывается с библиотекой. Программа передает указатель на эту библиотеку для выполнения.

Но убсан (Undefined Behavior Sanitizer) указал, что указатель имеет неверный тип функции. И это происходит только

• если функция обратного вызова имеет класс в качестве параметра
• если функция обратного вызова имеет класс в качестве параметра, но объявлена ​​только вперед
• если я укажу флаги компиляции: -fvisibility=hidden.

Я использую Clang для компиляции моего проекта.

Это ошибка в clang неопределённом поведенческом дезинфицирующем средстве?

Следующий код сводится к простому тестовому примеру. Проверьте комментарии, чтобы увидеть, где мы можем действовать, чтобы удалить некоторые предупреждения

Код приложения:

Main.cxx

#include "Caller.h"
#include "Param.h"

static void FctVoid()
{
}
static void FctInt(int _param)
{
   static_cast<void>(&_param);
}
static void FctCaller(Caller &_caller)
{
   static_cast<void>(&_caller);
}
static void FctParam(Param const &_param)
{
   static_cast<void>(&_param);
}

int main()
{
   Param param;
   Caller::CallVoid(&FctVoid);
   Caller::CallInt(&FctInt);
   Caller::CallThis(&FctCaller);
   Caller::CallParam(&FctParam, param);
   return 0;
}

Код файлов библиотеки:

Caller.cxx:

#include "Caller.h"
// To uncomment to fix one warning
//#include "Param.h"
void Caller::CallVoid(FctVoidT _fct)
{
   _fct();
}
void Caller::CallInt(FctIntT _fct)
{
   _fct(32);
}
void Caller::CallThis(FctThisT _fct)
{
   Caller caller;
   _fct(caller);
}
void Caller::CallParam(FctParamT const &_fct, Param const &_param)
{
   _fct(_param);
}

Caller.h

#ifndef __Caller_h_
#define __Caller_h_
#include "owExport.h"

class Param;
class EXPORT_Library Caller
{
public:
   typedef void(*FctVoidT)();
   static void CallVoid(FctVoidT _fct);
   typedef void(*FctIntT)(int);
   static void CallInt(FctIntT _fct);
   typedef void(*FctThisT)(Caller &);
   static void CallThis(FctThisT _fct);
   typedef void(*FctParamT)(Param const &);
   static void CallParam(FctParamT const &_fct, Param const &_param);
};
#endif

param.h

#ifndef __Param_h_
#define __Param_h_
#include "owExport.h"
class EXPORT_Library Param
{
public:
};
#endif

owExport.h

#ifndef __owExport_h_
#define __owExport_h_
#define OW_EXPORT __attribute__ ((visibility("default")))
#define OW_IMPORT
// Use this one to fix one warning
#define OW_IMPORT __attribute__ ((visibility("default")))
#ifdef Library_EXPORTS
#  define EXPORT_Library OW_EXPORT
#else
#  define EXPORT_Library OW_IMPORT
#endif
#endif

CMakeLists.txt, который настраивает проект:

cmake_minimum_required(VERSION 3.0.0)
project(TestFunction)
set(BUILD_SHARED_LIBS ON)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11 -fsanitize=undefined ")

# Act here to for the call of function through pointer to incorrect function type
# set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fvisibility=hidden")

add_library(Library Caller.cxx Param.cxx)
add_executable(TestWithLib Main.cxx)
target_link_libraries(TestWithLib Library)

Answer 1

Во-первых: нехорошо, если вы отредактируете вопрос, чтобы уже добавить исправления. Это затрудняет ответ.

Для вашей проблемы: у вас в основном 2 проблемы: первая с Ssymbol Caller, second withParam`, оба в основном одинаковы.

Источник проблемы: UBSAN сравнивает информацию о типе указателя с ожидаемой информацией о типе. Если информация о типе отличается, отображается ошибка.typeinfoсравнение выполняется путем сравнения указателя. Это здорово для скорости, но вызывает тонкую проблему: даже когда фактические типы буквально одинаковы, они могут не иметь одинаковыхtypeinfo. Это также важно, когда вы выбрасываете тип из общей библиотеки и хотите поймать его в исполняемом файле (или наоборот): захват выполняется путем сравнения typeinfo, и если два типа не совсем одинаковы (совместно используют одну и ту же информацию type) вы не поймаете это.

Итак, ваша первая проблема class EXPORT_Library Caller: Вы условно определяете EXPORT_Libraryбыть "экспортированным" или нет. Если он экспортируется из нескольких DSO, то typeinfos будет объединен. В вашем случае вы экспортируете его в общую библиотеку, но не в исполняемый файл, что предотвращает их слияние. Вы можете использоватьBOOST_SYMBOL_EXPORT или OW_EXPORT для этого.

Вторая проблема - наоборот (при условии EXPORT_Library==OW_EXPORT): Paramэкспортируется, когда включен заголовок Param.h, что выполняется только исполняемым файлом, а не разделяемой библиотекой. Опять typeinfos не объединен -> разные типы в системе RTTI.

Итог: экспортируйте все ваши классы, которые вы хотите использовать, через границы DSO.