valgrind对未初始化的价值观的投诉可能是误报吗？

Question

所以我一直在教自己C,并希望学习如何从一开始就正确地管理内存并编写更好的代码,我一直在运行Valgrind.这有助于我内存泄漏,但我似乎无法摆脱这种"有条件的跳转或移动取决于未初始化的值/未初始化的值是由堆分配"创建的情况,尽管我已经缩小了它到这段代码:

#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int main()    
{  
    char* test = (char*) malloc(3);
    strncpy(test, "123", 2);
    printf("%s\n", test);
    free(test);
    return 0;
}

当我运行Valgrind时---track-origins=yes,我得到这个输出:

==91702== Conditional jump or move depends on uninitialised value(s) 
==91702==    at 0x100011507: strlen (mc_replace_strmem.c:282)
==91702==    by 0x1000AA338: puts (in /usr/lib/libSystem.B.dylib)
==91702==    by 0x100000EFA: main (valgrind_test.c:10)
==91702==  Uninitialised value was created by a heap allocation
==91702==    at 0x100010345: malloc (vg_replace_malloc.c:236)
==91702==    by 0x100000EEA: main (valgrind_test.c:8)

这对我来说似乎是一种误报,但是我不能凭自己的知识自信地将它写下来.也许我分配错误或使用strncpy错误？我不确定.

提前致谢

Answer 1

不,这是破码.

你有一个带有3个未初始化字符的内存块.然后你复制"12"到它,不要终止.小心strncpy().

我引用文档:

strncpy()函数类似,只是复制了不超过n个字节的src.因此,如果src的前n个字节中没有空字节,则结果将不会以空值终止.

由于源的前2个字符内没有终止,因此目标不会终止.

Answer 2

惯用的使用方式strcpy()和strncpy()：

如果您知道缓冲区中有字符串和NUL终止符的空间，则可以使用strcpy()。这可能会使用常量，或在代码中进行检查（您应确保检查正确）。

否则，您可以执行以下操作：

strncpy(dest, src, length);
dest[length - 1] = '\0';

它具有以下缺点：

• 它可以截断字符串。
• 由于它总是填充length字节，因此它可能效率不高。

还有OpenBSD的strlcpy()。

的其他任何用途strcpy()/strncpy()都可能是可疑的，您应该仔细查看它们。

底线：避免将C字符串函数用于任何中等复杂的事物，请尝试对动态分配的字符串使用某些库。Qmail / Postfix自己滚，GNU也有堆。