同一目录下两个C项目：libcurl读取CA证书一成功一失败

问题背景 #

同一目录下两个C项目，使用相同编译命令gcc -o debug.out main.c -lcurl和libcurl版本，均开启verbose输出。其中一个调用自定义结构体STRUCT的init函数后再执行curl请求，访问https://example.com时出现ASN1 parser: Element was not found.错误，无法读取/etc/ssl/certs/ca-certificates.crt；另一个直接调用curl请求则完全正常。排查后定位到init函数中的内存分配错误：用malloc(sizeof(x))替代了malloc(sizeof(*x))，但疑惑为何内存错误会稳定触发证书读取问题而非随机崩溃。

核心原因：内存越界破坏libcurl内部状态 #

当x是指针类型时，sizeof(x)返回的是指针本身的大小（64位系统下为8字节），远小于STRUCT结构体的实际大小。这种错误的内存分配会导致后续对结构体成员的写入操作越界覆盖堆内存中相邻的数据——而巧合的是，这片相邻内存正好是libcurl用于维护SSL证书处理逻辑的内部数据结构。

为什么是稳定的证书解析错误而非随机崩溃？ #

• 固定的内存布局：测试场景中，结构体实例与libcurl内部SSL相关结构在堆中的分配位置固定，越界写入的内容精准破坏了证书解析所需的关键字段（比如证书路径指针、ASN1解析器的状态标记），而非直接触发非法内存访问。
• ASN1解析的敏感性：ASN1格式对数据结构的完整性要求极高，哪怕一个字节的篡改都会导致解析逻辑抛出语义错误（如Element was not found），而非直接触发段错误。相比之下，其他内存越界场景可能直接访问非法地址导致崩溃，但这里的越界刚好破坏了逻辑数据而非内存权限。
• 固定的执行路径：代码中结构体初始化、curl调用的顺序完全固定，堆内存的分配模式也一致，因此越界破坏的目标始终相同，最终稳定复现证书解析错误，而非随机崩溃。

修复方案 #

将init函数中的内存分配代码从：

x = malloc(sizeof(x));

替换为：

x = malloc(sizeof(*x));

这样就能分配足够的内存存储完整的STRUCT结构体，避免内存越界对libcurl内部状态的破坏，证书读取和SSL连接即可恢复正常。

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