关于 `sprintf` 和 `nm` [关闭]

Question

考虑以下程序：

#include <stdio.h>

int main(void)
{
    char c[10] = "hello!";
    char d[10] = {'\0'};

    sprintf (d, "%s", c);
    return printf("%s\n", d);
}

使用gcc -Wall -pedantic a.c（CentOS 上的GCC 4.8.5）编译后，当我在可执行文件上运行nm 时，我可以看到strcpy 被列为未定义符号：

 nm a.out | grep strcpy
                 U strcpy@@GLIBC_2.2.5

strcpy 是如何以及为什么出现在图片中的？如果我在 GCC 8.3.0 上编译相同的程序，strcpy 符号在nm 的输出中找不到。此外，在 GCC 4.8.5 上，如果我在 % 符号 sprintf (d, " %s", c) 之前添加一个空格，则 sprintf 调用不会替换为 strcpy。

使用-S 开关和gcc 生成的汇编代码支持这些发现。有人可以帮我理解这里发生了什么吗？

客户审核可执行文件，如果他们发现对strcpy 的调用，将引发危险信号。我只是想了解为什么sprintf 调用被strcpy 取代。

Answer 1

我的要求是strcpy 不应出现在nm 返回的符号列表中。

为什么？

但是在 Linux/x86-64 上使用GCC 10，您可以拥有自己的static inline 变体strcpy，也许使用一些extended asm 指令（也许是一些REP STOS...）

您还可以使用自己的GCC plugin 改进 GCC。

你也可以静态链接你的可执行文件，编译并链接到gcc -O2 -flto -Wall，然后使用strip(1)。

strcpy 是怎么出现在这里的？

编译你的a.cusinggcc -fverbose-asm -Wall -Wextra -O3 -fdump-tree-all -S a.c，通过查看许多a.c.*转储文件和a.s文件，你将了解编译器做了什么。

允许编译器优化printf（有一个__builtin_printf....）。通过阅读n1570 或一些更新的 C 标准进行检查。

请注意，像 BINSEC 这样的二进制分析工具会“找到”与 strcpy 等效的代码

所以你的要求不合理，你应该解释一下

如果你需要一些code obfuscation（我认为大多数时候这是错误的），你最好使用更复杂的技术......例如在运行时使用GNU lightning 或asmjit 生成机器代码。

另一种可能的方法（由我的 manydl.c 程序说明）是在运行时生成一些混淆的 C 代码，将其编译为插件，然后使用 dlopen(3) 加载生成的插件。

要提高 C 源代码的安全性、安全性或可靠性，请使用 code reviews，遵循 MISRA C 等指南，也考虑使用 Frama-C 等静态分析框架或Clang static analyzer（或者，在 2021 年春季，bismon 在this DRAFT 报告中描述）。在许多情况中，使用snprintf 或strcpy 是安全的（在某些情况下，可以“证明”如此；注意Rice's theorem） .为了增加对生成的可执行文件的信心，请考虑使用 CompCert 作为您的 C 编译器。

PS。如果您需要保护您的代码（C 源代码或生成的 executable），您应该请求您的律师帮助编写保护它的法律合同。