与 -static 链接时 Valgrind 出错 - 为什么？

Question

我有一个测试驱动程序链接到我编写的库。该库使用自动工具，因此它会生成存档（.a 文件）和动态库（.so）。

当我将驱动程序与“g++ -static”链接时（可能链接到 .a），valgrind 会亮起，反复抱怨“条件跳转或移动取决于未初始化的值”。第一个失败发生在 __pthread_initialize_minimal 中的 main 之前。

当我在没有 -static 的情况下链接时，可能与 .so 链接，我没有收到任何 valgrind 投诉。

有谁知道为什么？ valgrind 不能与 -static 一起使用吗？

更新：我什至无法发布驱动程序的精简版本，因为它链接到一个非常大的库，我无法精简该库，但我注意到所有程序中最简单的

int main()
{
  return 0;
}

会出现错误当与 -static 链接并从 valgrind 运行时：

==15449== Use of uninitialised value of size 8
==15449==    at 0x40B0F3: exit (in /home/jdgordo/src/t)

我应该包括我在 64 位 Redhat 5.5 上运行。

Answer 1

valgrind 不能与 -static 一起使用吗？

确实如此。问题不在于 Valgrind，而在于 glibc，它不是 Valgrind 干净的。 glibc 开发人员拒绝修复这些问题（因为这些问题具有“不关心”的性质，并且修复它们会花费（几个）周期）。

当您动态链接时，这些错误来自 libc.so.6，并且可以轻松抑制，这就是 Valgrind 默认情况下所做的。

但是，当您静态链接时，这些错误来自可执行文件（现在包括来自 libc.a 的代码），因此默认的 Valgrind 抑制不会抑制它们。

您可以编写新的抑制（请参阅 Valgrind --gen-suppressions=yes 文档）。

或者您可以安装并使用 glibc-audit。

Answer 2

如果该库导致 valgrind 出现问题，您只能通过编写抑制文件来忽略这些问题。

我遇到的问题之一是在堆上分配一些东西，如下所示：

// library
int * some = new int;

// main links the library
int main()
{
}

此示例将报告有关泄漏的错误。

编辑：如果您有库的源代码，您可以修复错误（使用未初始化的变量），然后重新编译它。