如何验证从二进制文件中删除死代码？

Question

我的c / obj-c代码（使用clang构建的iOS应用程序）有#ifdefs排除的某些功能。我想确保在链接时剥离（消除）从这些函数调用的代码，而不是从其他函数调用的代码（死代码）。 我试过了：

1. 在应该删除的函数中添加本地文字char [];在可执行文件上运行strings时，该字符串仍然可见。
2. 添加应该消除的功能;运行字符串时，函数名仍然可见。

在您提出要求之前，我正在构建发布版本，并且所有条带设置（包括显然都是死代码剥离）都已启用。

问题不是真正的xcode / apple / iOS;我认为任何POSIX开发平台的答案应该基本相同。

Answer 1

（适用EDIT）

在binutils中，ld具有--gc-sections选项，可以为对象级别的部分执行所需操作。您有几种选择：

• 使用gcc的标记-ffunction-sections和-fdata-sections将每个符号隔离到自己的部分，然后使用--gc-sections;

• 将所有候选内容放入单独的文件中，链接器将能够删除整个部分;

• 反汇编生成的二进制文件，删除死代码，再次组合;

• 使用strip和适当的-N选项来丢弃有问题的符号 符号表 - 这将保留代码和数据，但它不会显示在符号表中。