C语言动态缓冲区重分配时Segmentation Fault问题排查

结合场景——正常输入长文本无异常，但从历史文件读入超16字节文本、删除部分字符后添加字符触发Segfault，且调试显示global_buf地址有效、strlen结果正常，以下是核心排查方向：

1. 缓冲区实际容量未被正确跟踪 #

代码初始缓冲区大小为CMD_SIZE=16，insert函数在超出该值时以len+1扩容，但未单独维护当前缓冲区的实际容量变量，仅依赖strlen(global_buf)判断状态：

• 从历史文件读入超16字节文本后，global_buf已被realloc扩容至更大容量；但删除字符后strlen变小，后续添加字符时，代码可能仍以固定的CMD_SIZE=16作为扩容阈值，误以为无需扩容直接写入，若此时堆元数据已被破坏，就会触发越界。
• 验证方式：添加全局变量buf_capacity，初始设为CMD_SIZE，每次realloc成功后更新该值，所有空间判断逻辑均使用buf_capacity而非固定值。

2. 删除操作破坏堆结构 #

删除字符时的内存移动操作（如memmove、strcpy）可能存在越界：

• 例如删除某位置字符时，目标地址或移动长度计算错误，导致写入操作超出global_buf实际容量范围；此时strlen结果看似正常，但堆的空闲链表元数据已被破坏，后续insert中的realloc或字符写入会触发Segfault。
• 验证方式：在删除操作前后，打印global_buf的实际容量（若有跟踪）、字符串长度，以及移动操作的源/目标地址、移动字节数，确认所有操作均在缓冲区范围内。

3. 历史文件读取时的缓冲区溢出 #

从历史文件读取文本的逻辑可能未通过insert函数处理，而是直接拷贝内容到global_buf：

• 若历史文件内容长度超过当前global_buf的容量，直接拷贝会导致缓冲区溢出，破坏堆结构；此时表面上字符串读取正常（strlen结果正确），但后续删除、添加操作会触发堆错误。
• 验证方式：检查历史文件读取逻辑，确保所有写入global_buf的操作均通过insert函数完成，或在读取前调用realloc将global_buf扩容至足够容纳文件内容的大小。

4. 字符串终止符的隐性破坏 #

虽然调试时strlen结果正常，但某些操作可能导致终止符位置异常：

• 例如删除字符后，终止符被移动但未正确写入，或添加字符时覆盖了终止符但未重新设置；这种情况下strlen可能因内存中恰好存在'\0'返回正确值，但实际缓冲区有效范围已被破坏，后续写入会越界。
• 验证方式：在删除、添加操作后，打印global_buf的十六进制内存内容，确认终止符'\0'确实位于字符串末尾。

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