logo标签列表

双重释放或损坏的原因

c
4
#include<stdio.h>
#include<stdlib.h>

    main() {
        int *ptr, *tmp;
        ptr = (int *)malloc(sizeof(int) * 60);
        tmp = ptr;
        printf("tmp  %u ptr %u\n", tmp, ptr);
        int i =0;
        for (i = 0; i < 76; i ++)
        {
            *ptr = i;
            ptr++;
        }

    printf("tmp  %u ptr %u\n", tmp, ptr);
    free (tmp);
    }

this program crahes when we run it 





{124}: ./a.out 
tmp  23134224 ptr 23134224
tmp  23134224 ptr 23134528
*** glibc detected *** ./a.out: double free or corruption (!prev): 0x0000000001610010 ***
======= Backtrace: =========
/lib64/libc.so.6[0x333ce750c6]
./a.out[0x4005e0]
/lib64/libc.so.6(__libc_start_main+0xfd)[0x333ce1ecdd]
./a.out[0x400499]
======= Memory map: ========
00400000-00401000 r-xp 00000000 00:2b 26388454                           /users/home40/rnadakud/cpract/a.out
00600000-00601000 rw-p 00000000 00:2b 26388454                           /users/home40/rnadakud/cpract/a.out
01610000-01631000 rw-p 00000000 00:00 0                                  [heap]
333c600000-333c620000 r-xp 00000000 fd:00 1253867                        /lib64/ld-2.12.so
333c81f000-333c820000 r--p 0001f000 fd:00 1253867                        /lib64/ld-2.12.so
333c820000-333c821000 rw-p 00020000 fd:00 1253867                        /lib64/ld-2.12.so
333c821000-333c822000 rw-p 00000000 00:00 0 
333ce00000-333cf97000 r-xp 00000000 fd:00 1253879                        /lib64/libc-2.12.so
333cf97000-333d197000 ---p 00197000 fd:00 1253879                        /lib64/libc-2.12.so
333d197000-333d19b000 r--p 00197000 fd:00 1253879                        /lib64/libc-2.12.so
333d19b000-333d19c000 rw-p 0019b000 fd:00 1253879                        /lib64/libc-2.12.so
333d19c000-333d1a1000 rw-p 00000000 00:00 0 
333ee00000-333ee16000 r-xp 00000000 fd:00 1253886                        /lib64/libgcc_s-4.4.6-20110824.so.1
333ee16000-333f015000 ---p 00016000 fd:00 1253886                        /lib64/libgcc_s-4.4.6-20110824.so.1
333f015000-333f016000 rw-p 00015000 fd:00 1253886                        /lib64/libgcc_s-4.4.6-20110824.so.1
7f085a471000-7f085a474000 rw-p 00000000 00:00 0 
7f085a492000-7f085a495000 rw-p 00000000 00:00 0 
7ffffddb2000-7ffffddc7000 rw-p 00000000 00:00 0                          [stack]
7ffffddff000-7ffffde00000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
Abort (core dumped)

我知道我正在覆盖数组，但在这里观察到的是当我释放tmp时发生了崩溃。即使我重写了ptr，但当我释放ptr时，它应该只释放前60个字节。所以，请帮助我理解这个错误。
2个回答
8

覆盖已有内容将导致未定义的行为。

在您的情况下，您破坏了堆数据结构，导致free()执行会崩溃。这就是为什么它被称为“未定义的行为”，因为您无法知道何时、如何或是否会产生任何可观察到的“证据”表明您做错了事情。或者当程序执行看似不相关的操作时，问题可能会出现。

此外，请不要在C中强制转换malloc()的返回值。

5
您正在写入超出您分配的内存块范围的内容，行为是未定义的。
我知道我正在覆盖数组，但观察发现当我释放(tmp)时崩溃发生了，尽管我正在覆盖ptr，但当我释放(ptr)时，它应该只释放前60个字节。
堆分配的内存通常通过在内存块旁边存储有关内存块的元数据来工作。这是必需的，以便堆管理器知道如何释放内存块。毕竟，当您传递指向free的指针时，堆管理器确实需要某种方法来处理如何释放内存。
这里发生的情况是您正在破坏元数据，并且在调用free时检测到了该问题。看起来您正在使用调试堆管理器，在运行时实现调试代码以检测此类堆破坏。
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接