多线程环境下SSL_read结合strcat触发Segmentation fault问题求助

问题描述 #

多线程程序中读取SSL响应时，将读取到的内容存入buffer，再用strcat追加到malloc分配的response字符串中，运行一段时间后触发Segmentation Fault；移除strcat操作后，程序可稳定运行数小时。错误信息如下：

free(): invalid next size (normal)
malloc_consolidate(): invalid chunk

已确认SSL、CTX资源释放，socket关闭，malloc分配的字符串也已正常释放。

示例代码：

char* response = malloc(10000);
char buffer[10000] = { 0 };

while(SSL_read(ssl,buf,sizeof(buffer)) > 0){
    strcat(response,buffer);
    memset(buffer,0,sizeof(buffer));
}

问题根源 #

1. 内存越界破坏堆结构：malloc(10000)分配的内存是固定大小，但strcat会持续追加内容直到遇到'\0'。如果SSL响应总长度超过10000字节，就会超出response的内存边界，覆盖堆管理的元数据。单线程下可能暂时不触发错误，但多线程中堆操作频繁，内存损坏会快速被检测到，引发段错误或堆错误。
2. 依赖'\0'的错误逻辑：strcat依赖字符串末尾的'\0'来确定追加位置，但SSL读取的是二进制数据，可能包含'\0'；同时SSL_read的返回值未被利用，无法确定buffer中有效内容的长度，strcat可能会复制buffer中未被SSL填充的零值区域，或因残留数据导致错误追加。
3. 不必要的memset浪费性能：每次循环用memset清空buffer完全多余，反而可能引入无意义的性能开销。

修复方案 #

核心思路是追踪内存使用长度，动态扩容，基于实际读取字节数操作内存，替代依赖'\0'的strcat：

修正后的代码 #

// 初始分配合理大小的内存，后续按需扩容
size_t response_capacity = 1024;
char* response = malloc(response_capacity);
if (!response) {
    // 处理内存分配失败逻辑
    return;
}
size_t response_len = 0;
char buffer[10000]; // 无需初始化，仅用有效读取部分

int bytes_read;
while ((bytes_read = SSL_read(ssl, buffer, sizeof(buffer))) > 0) {
    // 检查剩余空间是否足够（+1用于存储字符串结束符）
    if (response_len + bytes_read + 1 > response_capacity) {
        // 扩容为当前容量的2倍，平衡性能与内存占用
        response_capacity *= 2;
        char* temp = realloc(response, response_capacity);
        if (!temp) {
            // 扩容失败，释放已有内存并处理错误
            free(response);
            return;
        }
        response = temp;
    }
    // 仅复制SSL实际读取的内容
    memcpy(response + response_len, buffer, bytes_read);
    response_len += bytes_read;
    // 确保response始终以'\0'结尾（若需作为字符串使用）
    response[response_len] = '\0';
}

// 使用完毕后释放内存
free(response);

关键修正点 #

• 用response_len追踪已使用的内存长度，彻底避免strcat的越界风险。
• 基于SSL_read返回的bytes_read复制有效内容，不再依赖'\0'，适配二进制数据场景。
• 动态扩容确保内存足够容纳完整响应，避免固定大小导致的溢出。
• 移除无意义的memset，提升性能。

多线程触发的原因 #

堆内存被破坏后，单线程下可能因堆操作频率低暂时不暴露问题，但多线程中多个线程同时进行malloc/free操作，堆的chunk管理结构一旦被损坏，会快速触发堆检测机制，抛出free(): invalid next size或malloc_consolidate(): invalid chunk这类错误。

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