Valgrind报Conditional jump错误：strncat引发未初始化值问题

待分析的C代码 #

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

int main()
{
        char *a = "abc";
        int len = strlen(a);
        char *b = malloc(len + 1); // + 1 for null byte
        //strncpy(b, a, len) // Does not append null byte
        strncat(b, a, len); //should append null byte
        puts(b);
}

valgrind执行输出 #

...
==7223== Conditional jump or move depends on uninitialised value(s)
==7223==    at 0x484EBD0: strncat (in /usr/libexec/valgrind/vgpreload_memcheck-amd64-linux.so)
==7223==    by 0x1091FB: main (in /home/shepherd/inteli/c/test/a.out)
==7223== 
abc
...

1. 错误“Conditional jump or move depends on uninitialised value(s)”的含义 #

该错误表示程序里的条件跳转（比如if分支判断、循环终止判断）或数据移动操作，依赖了未初始化的内存值。未初始化内存存储的是随机垃圾数据，依赖这类值会导致程序行为完全不可预测，在不同运行环境下可能出现不同结果。

2. 为何strncat会触发该错误 #

strncat的工作逻辑是：先从目标指针指向的内存区域中找到第一个'\0'（字符串结束符）的位置，再从该位置开始追加源字符串内容。
但代码中malloc(len + 1)分配的内存是未初始化的，里面没有预设的'\0'。strncat会在这块内存里持续查找'\0'，过程中访问了大量未初始化的字节，这就触发了valgrind的检测警告。

3. 程序是否存在未定义行为（UB）或错误 #

程序存在明确的未定义行为和错误：

• strncat要求目标参数必须是有效的C字符串（即以'\0'结尾），但malloc返回的内存未初始化，不满足这个要求，调用strncat属于未定义行为。
• 虽然程序最后输出了abc，这只是巧合——可能分配的内存中刚好在某个位置存在'\0'，让strncat找到了终止点，但这种行为完全不可靠，换个环境可能就会崩溃或者输出乱码。

内容的提问来源于stack exchange，提问作者milanHrabos