c++ - ABI 兼容性 header /库交叉检查

Question

我一直在四处寻找 ABI 交叉检查工具。现在我已经遇到了其他问题中建议的一些工具，例如在这些问题中:

How to test binary compatibility automatically?

Static analysis tool to detect ABI breaks in C++

现在，这并不是我想要做的——因为这些跟踪版本之间的 ABI 变化。

我想知道给定项目源文件+库头文件和库.so文件，以及编译器版本(用于编译库和项目)，是否可以交叉检查输出ABI 的匹配编译库？

因此，它适用的情况是，如果上游库提供了 libfoo.so 和 libfood.so。其中 food 是一个略有不同的 ABI，(比如 double 而不是 float )，但还没有到无法编译的程度。

• 是否有可能想出一个测试(可能不是防弹的)来表明编译后的可执行文件已链接到正确的库？
• 有没有工具可以做到这一点？

Answer 1

如果你假设你只有 libfoo.so 用 C 编码(没有它的头文件，你也应该有)，没有办法知道，例如内部函数的签名，因为共享对象的符号表不包含任何类型信息(例如，除了传统智慧之外，没有什么可以阻止库包含一个 malloc 函数，该函数将两个整数相加并返回它们求和，而不是进行通常的堆分配)。

因此 libfoo.so 可能会被滥用。然而，在某些共享库中通常有与符号关联的版本(如果您 dlopen-ed 一个库，您可以通过 dlvsym 以编程方式查询)。有一些方法可以生成版本。

如果库是纯 C++，那么符号是 mangled所以他们的编码包含他们的签名。

最佳做法是在您的库中包含一些返回库版本的函数。看glib version information一个很好的例子。