全局静态常量变量什么时候被初始化？

Question

我试图在网站上搜索这个问题，但没有确切地找到这个问题，尽管这个主题已经被讨论了很多...

我在 cpp 文件中有这个声明，而不是在任何函数中：

static const char* gText = "xxxxxxxxxxx";

虽然它有固定的大小，但我当我尝试将其复制到另一个 char* 变量时，从静态分析工具（Klocwork）收到警告 - 关于可能的越界违规：

char xText[32];
SecureZeroMemory(xText, 32);
memcpy(xText, gText, strlen(gText));

这是误报还是稍后初始化全局变量？

谢谢！

Answer 1

这是误报。 strlen 可能被抽象为返回一个未知的正数，因此在分析模式 memcpy(dest,src,strlen(src)); 时，分析器不会意识到只要 src 是格式正确的字符串，读取副本的一部分就是安全的。

如果您使用 strcpy，分析器可能会认为在这种情况下没问题。你有理由不这样做吗？函数 strcpy 被认为是“不安全”的，但你的 memcpy(..,src,strlen(src)) 也非常不安全。

编辑：另外，sellibitze 在评论中提出了一个非常好的观点：原始代码中的 const 属性仅适用于 gText 指向的字符，而不适用于 gText本身。

Answer 2

我认为这不是误报。存在潜在风险，即有人可能会更改 gText 的长度，但没有意识到它不能超过 32 个字符。我肯定会在 memcpy 之前进行某种检查，以确保不会出现缓冲区溢出。

例如

char xText[32];
SecureZeroMemory(xText, 32);
size_t lenToCopy = MIN(strlen(gText), 32);
memcpy(xText, gText, lenToCopy);

，我还将用常量替换幻数 32。