C语言开发汇编器释放external_head链表报munmap_chunk无效指针错误

• 第一，你写的两个链表释放函数本身就存在释放后使用（UAF）的严重未定义行为

释放逻辑错误是核心问题：你先调用free()释放当前头节点，再访问external_head->next读取下一个节点地址，此时external_head指向的内存已经被堆管理器回收，内存内容已经是不可控的垃圾值，属于野指针访问。
之前symbol链表释放未报错只是未定义行为的随机表现，刚好释放后的内存还没被篡改，能读到正确的next值，完全是巧合，不代表代码逻辑正确。

正确的释放逻辑需要先保存下一个节点的地址，再释放当前节点，参考实现如下：

void free_externals()
{
    symbol_node_t *current = external_head;
    symbol_node_t *next_node;
    while(current != NULL)
    {
        next_node = current->next; // 提前保存下一个节点地址
        free(current); // 释放当前节点
        current = next_node;
    }
    external_head = NULL; // 释放完成后头指针置空，避免后续野指针访问
}

free_symbols函数也需要按照相同逻辑修改，否则迟早会触发崩溃。

• 第二，存在重复释放或者非法指针释放的可能

如果修改释放逻辑后仍然报错，排查以下两种场景：

1. external链表的节点不是通过malloc/calloc动态分配的，比如直接把栈上的局部变量地址链入了链表，释放栈内存会触发munmap_chunk错误
2. 两个链表存在共享节点：比如你将symbol链表中的某个节点直接插入到external链表中，先释放完symbol链表的节点后，再释放external链表时就会对同一块内存重复释放，触发报错。

• 第三，堆内存元数据被破坏

如果插入external链表节点时发生缓冲区溢出，比如往name[32]数组中写入超过32字节的内容，越界写会覆盖堆块的管理元数据，也会导致free时识别到非法的堆块结构，抛出该错误。

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