valgrind抱怨未初始化的值会是误报吗？

问题描述

| 因此，我一直在自学C，并且希望从一开始就学习如何正确地管理内存并编写更好的代码，所以我一直在所有方面运行Valgrind。这帮助我解决了内存泄漏问题，但是我似乎无法摆脱这种“有条件的跳转或移动取决于未初始化的值/未初始化的值是由堆分配创建的”的情况，尽管我ve将其范围缩小到以下代码块：

#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;
}

当我用

---track-origins=yes

运行Valgrind时，得到以下输出：

==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错误？我不确定。 提前致谢     

解决方法

        不，这是损坏的代码。 您有一个带有3个未初始化字符的内存块。然后将“ 3”复制到其中，并且不终止。当心

strncpy()

。 我引用文档：   strncpy（）函数与之类似，只是复制的src字节数不超过n个。因此，如果src的前n个字节中没有空字节，则结果将不会以空值结尾。 由于源的前2个字符内没有终止，因此目标也不会终止。     ,        习惯用法

strcpy()

和

strncpy()

： 如果您知道缓冲区中包含字符串和NUL终止符的空间，则可以使用

strcpy()

。这可能会使用常量，或在代码中进行检查（您应确保检查正确）。 否则，您可以执行以下操作：

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

它具有以下缺点： 它可以截断字符串。 由于它总是填充“ 9”个字节，因此它可能效率不高。 还有OpenBSD的

strlcpy()

。 ѭ11的任何其他用法都可能是可疑的，您应仔细查看它们。 底线：避免将C字符串函数用于任何中等复杂的事物，请尝试对动态分配的字符串使用某些库。 Qmail / Postfix可以自己滚动，GNU有很多。     ,        您的字符串没有终结符，因此valgrind在抱怨时可能是正确的。更改：

strncpy(test,\"123\",2);

至：

strcpy(test,\"12\");