gcc - 列出 gcc 或 clang 目标文件中的内部引用

Question

给定一个暴露符号的目标文件，我如何确定该符号是否也在内部使用？

我的目标是死函数检测。我已经能够(通过 readelf)查找它是否从另一个目标文件中使用，但是当它仅在内部使用时失败。

如果重要的话，我正在使用 C++

Answer 1

这实际上取决于您的编译器如何处理编译单元内调用，但有一些建议。

首先，如果您正在优化，编译器可能会内联您的函数，即使它们没有标记为inline。实际上，如果该函数标有 always_inline 属性，它将努力这样做。因此，没有证据表明函数 f 调用了函数 g，即使它确实调用了函数。请注意，如果 g 本身是一个外部可访问的函数，编译器可能会生成它的代码两次(或更多次)，首先是在它自己的名称下用于从外部调用，然后内联到 < 的目标代码中em>f(和其他调用函数)。

因此，避免优化并以某种方式抑制 always_inline。您甚至可以显式指定 -fno-inline 以防止内联。

其次，您的目标架构可能有相关的调用和分支指令。如果您的 f 和 g 被放置在它们共有的代码段中，编译器可能会利用这一点。它是非内联函数的默认值。在这种情况下，编译器在编译时知道调用位置和被调用者开头之间的偏移量，并可以生成相对调用或跳转指令；不需要进一步搬迁。一些编译器可能会发出“无操作”重定位，但有些不会。没有重定位意味着符号没有被引用。

因此，使用 -ffunction-sections(对于数据 -fdata-sections)。然后将每个函数放入其自己的部分，编译器将别无选择，只能为链接器生成重定位以进行修复(从而使被调用者的符号被引用)。

注意，如果使用-ffunction-sections，然后在调用ld时指定--gc-sections，编译器会丢弃所有未引用的部分。如果您随后添加 -M，您将获得生成的模块映射。丢弃的函数不会显示在 map 中。

作为旁注，请记住，在某些情况下，静态分析无法检测到函数永远不会被调用。例如，在一个编写良好的 C++ 程序中，__cxa_pure_virtual 永远不会被调用，但是在所有抽象类的虚函数表中都会有对它的引用。此外，即使在整个程序中没有单独调用该虚函数，也将通过虚函数表引用和链接普通虚函数的覆盖。符号分析无法检测到这些情况。