什么是glibc free / malloc / realloc无效的下一个大小/无效指针错误以及如何修复它?

时间:2014-05-15 13:54:00

标签: c++ c memory glibc

您很可能会看到此问题,因为您的问题已作为此问题的副本而被关闭。有关相关问题的中等完整列表,请参阅有关Meta Stack溢出的A long list of possible duplicates — C memory allocation and overrunning bounds


示例问题

free char*: invalid next size (fast) noobie在2014-04-11提出的问题。

我在连接过程后释放char*但我收到此错误:

free(): invalid next size (fast): 0x0000000001b86170

这是我的代码:

void concat(stringList *list) {
    char *res = (char*)malloc(sizeof(char*));

    strcpy(res, list->head->string);

    list->tmp = list->head->next;
    while (list->tmp != NULL) {
        strcat(res, ",");
        strcat(res, list->tmp->string);
        list->tmp = list->tmp->next;
    }

    printf("%s\n", res);
    free(res);
}

通用问题

运行我的程序时,我看到如下错误消息:

*** glibc detected *** ./a.out: free(): corrupted unsorted chunks: 0x12345678 ***

详细信息可以包含*** glibc detected ***和程序名称之后的任何内容,并且消息后面跟一个十六进制地址(显示为0x12345678)和另一个***

  • free(): corrupted unsorted chunks: 0x12345678
  • free(): invalid next size (fast): 0x12345678
  • free(): invalid next size (normal): 0x12345678
  • free(): invalid pointer: 0x12345678
  • free(): invalid size: 0x12345678
  • malloc(): corrupted unsorted chunks: 0x12345678
  • malloc(): corrupted unsorted chunks 2: 0x12345678
  • malloc(): memory corruption: 0x12345678
  • malloc(): memory corruption (fast): 0x12345678
  • malloc(): smallbin double linked list corrupted: 0x12345678
  • munmap_chunk(): invalid pointer: 0x12345678
  • realloc(): invalid next size (fast): 0x12345678
  • realloc(): invalid old size (fast): 0x12345678
  • realloc(): invalid pointer: 0x12345678
  • corrupted double-linked list: 0x12345678

调用frobnicate()函数时会发生这种情况;这个功能出了什么问题?

1 个答案:

答案 0 :(得分:12)

回答示例问题

unwind向示例问题提供了已接受的answer

  

你的代码错了。

     

您为单个指针(malloc(sizeof(char*)))分配空间,但没有字符。您使用所有字符串覆盖已分配的空间,从而导致未定义的行为(在此特定情况下,会破坏malloc()的簿记数据。)

     

您不需要为指针分配空间(res);它是一个局部变量。您必须为您希望存储在指针所占地址的所有字符分配空间。

     

由于您将遍历列表以查找要连接的字符串,因此您无法预先了解总大小。您将不得不在列表上进行两次传递:一次对每个字符串的strlen()求和,然后为分隔符和终止符分配该空间,然后在实际进行连接时再传递一次。

通用答案

您看到的是glibc分配器内部结构损坏的结果。在分配或释放动态内存时,分配器必须管理它从操作系统保留的内存,并根据您请求的操作,找到要分发的新块,将释放的块排序到它的列表中可以再次发出,或者将内存返回给操作系统。这些错误消息表明它用于管理此功能的数据结构已损坏。

这些错误都意味着您的一些代码修改了未使用的内存,调用了未定义的行为。这很可能是在程序中更早地覆盖一些内存的结果,并且错误完全可能不在frobnicate()函数中。

是的,这意味着您的程序或您使用的第三方库中的错误可能

对于Stack Overflow来说,这可能不是一个好问题。除非您对问题进行简单的简单复制,否则此社区可能无法为您提供帮助。错误的原因可能是代码中的任何位置(并且通常不在发现错误的函数中),并且它可能在我们看不到的代码中。 Stack Overflow 不是协作调试站点。即使有人能够在您的代码中找到缺陷,您的具体问题也不太可能对未来的访问者有所帮助。

常见原因

  • 免费使用。您已经释放/删除了一些内存并随后写入了内存,覆盖了glibc需要进行簿记的结构。
  • N-by-N错误。您正在将已分配的块后的N个字节写入glibc内部用于其簿记的未分配内存中。
  • 未初始化的指针。您没有初始化指针。巧合的是,它指向glibc保留的一些内存,但是没有由你的程序分配并且你写它。
  • 分配错误的空间量。这可能是因为您编写了long *data = malloc(number * 4)而不是long *data = malloc(number * sizeof(long));或(更好)long *data = malloc(number * sizeof(*data));。还有许多其他方法可以使尺寸计算错误。另一个常见的问题是忘记在字符串末尾考虑空终止符:char *copy = malloc(strlen(str));而不是char *copy = malloc(strlen(str)+1);

您现在需要做的就是卷起袖子并调试问题

没有简单的答案可以找到什么,或者要修复什么。没有一个你使用错误的单一语法结构。这个bug的原因可能有几千种。

工具

  • valgrind 一种主要用于查找此类错误的工具。如果找不到任何内容,请确保您使用的是最新版本,并且您还在尝试使用随附的exp-sgcheck工具。如果您正在运行多线程代码,原因可能也与竞争条件有关,因此您可能希望尝试使用包含的竞争条件检查器drdhelgrind以获得更多信息。在撰写本文时,valgrind支持以下平台:
    • X86 / Linux,
    • AMD64 / Linux,
    • ARM / Linux,
    • PPC32 / Linux,
    • PPC64 / Linux,
    • S390X / Linux,
    • MIPS32 / Linux,
    • MIPS64 / Linux,
    • ARM / Android(2.3.x及更高版本),
    • X86 / Android(4.0及更高版本),
    • X86 / Darwin和
    • AMD64 / Darwin(Mac OS X 10.7,对10.8的支持有限)。
  • purify 与valgrind类似的工具,但商业化并针对不同的平台。
  • AddressSanitizer 类似工具,但已集成到编译器工具链(gcc和clang)中。
  • efence 分配器更换中的一个丢弃将尝试先破坏您的程序,以便您可以找到正常的调试器,其中写入了无效内存。
  • dmalloc 一个与efence目的相似的图书馆。

需要更多帮助

如果您无法使用这些工具解决问题,则应尝试创建MCVE(How to create a Minimal, Complete, and Verifiable Example?)或等效的SSCCE(Short, Self Contained, Correct (Compilable), Example)。

请记住处理代码副本,因为创建MCVE需要您无情地删除无法重现问题的代码。使用VCS(版本控制系统)来提供帮助是一个好主意;您可以记录将问题降至最低的中间阶段。它可能是一个新的丢弃存储库,只是为了将您的问题减少到可管理的大小。

通过良好的模块化设计,您可以相对轻松地创建MCVE。也许您已经有一个单元测试,更适合用于上述工具之一。您也可能只想创建一个以后可以作为此错误的回归测试。