修复Valgrind中strcpy的条件跳转依赖未初始化值报错

这个Valgrind告警和strcpy的目标数组初始化无关，核心问题是传给strcpy的源指针ptr指向的堆缓冲区中，网络接收的有效数据末尾没有手动追加C字符串要求的'\0'结束符，strcpy读取到未被recv初始化的内存区域时触发告警。
main函数中char string[MAXIMUM*100] = {0};的写法已经完成了目标数组的正确初始化，全量置0的操作没有问题。

• recv调用的返回值ret是本次实际接收到的字节数，接口本身不会在接收数据末尾自动追加'\0'结束符
• 循环内做数据拷贝、堆缓冲区扩容时，仅拷贝了ret长度的有效网络数据，没有在有效数据末尾补结束符
• strcpy的工作逻辑是从源地址逐字节拷贝，直到碰到值为0的'\0'字节才停止，当读取到超出recv写入范围、未初始化的堆内存时，就会触发Valgrind的未初始化内存访问提示
• 程序运行无报错、无段错误只是巧合：未初始化内存中恰好存在0值字节，没有触发越权访问，不代表代码逻辑正确。

• 所有存放接收数据的缓冲区（栈上临时读缓冲、堆上动态扩容缓冲区）分配后统一做全0初始化：堆分配优先用calloc自动置0，malloc/realloc分配的内存用memset手动置0
• 每次recv返回后，仅拷贝实际接收到的ret字节有效数据，不要按MAXIMUM固定长度拷贝
• 堆缓冲区扩容时预留至少1字节空间，每次拷贝完新接收的数据后，在当前有效数据的末尾位置手动写入'\0'
• 堆内存使用完成后及时free，避免内存泄漏

修正后的核心实现代码：

#include <stdlib.h>
#include <string.h>
#include <sys/socket.h>
#include <unistd.h>

#define MAXIMUM 1024

void func(char *str)
{
    char resp[MAXIMUM] = {0};
    // 初始分配堆缓冲，calloc自动完成全0初始化，额外预留1字节存结束符
    char *ptr = calloc(MAXIMUM + 1, sizeof(char));
    int total_recv = 0;
    ssize_t ret;
    int sd = -1;
    // 此处省略socket创建、服务端连接逻辑

    while(1)
    {
        ret = recv(sd, resp, MAXIMUM, 0);
        if (ret <= 0) {
            close(sd);
            break;
        }
        // 扩容堆缓冲：总长度 = 已接收长度 + 本次接收长度 + 1字节结束符
        char *tmp = realloc(ptr, total_recv + ret + 1);
        if (!tmp) {
            free(ptr);
            return;
        }
        ptr = tmp;
        // 仅拷贝本次实际收到的ret字节数据
        memcpy(ptr + total_recv, resp, ret);
        total_recv += ret;
        // 手动追加字符串结束符
        ptr[total_recv] = '\0';
        // 清空临时接收缓冲，避免残留旧数据干扰下次读取
        memset(resp, 0, MAXIMUM);
    }

    strcpy(str, ptr);
    free(ptr);
}

int main ()
{
    char string[MAXIMUM*100] = {0};
    func(string);
    return 0;
}

注意：如果接收的是包含'\0'的二进制数据，不要用strcpy/strcat这类字符串操作函数，应该改用memcpy做内存拷贝，同时单独维护接收数据的总长度变量，避免数据被截断。

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