Double Free

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Double Free相关的知识,希望对你有一定的参考价值。

0x00  漏洞的原理

Double Free其实就是同一个指针free两次。虽然一般把它叫做double free。其实只要是free一个指向堆内存的指针都有可能产生可以利用的漏洞。double free的原理其实和堆溢出的原理差不多,都是通过unlink这个双向链表删除的宏来利用的。只是double free需要由自己来伪造整个chunk并且欺骗操作系统。

0x01 Double利用思路

1.第一步

首先申请两块堆内存:

chunk1 = malloc(504)
chunk2 = malloc(512)

如下图:

技术分享

2.第二步

然后释放这两个堆

free(chunk1)
free(chunk2)

不过并没有释放这两个内存,chunk1和chunk2依然指向free之前的堆内存

3.第三步

 再申请一个新的堆

chunk3 = malloc(1024)

不过这个新的堆要时前面两个堆大小的和,所以系统会把之前分派的内存给返回。如下图

技术分享

4.第四步

在chunk3中我们构造一个伪chunk(fake_chunk),同unlink.我们也需要一个指向chunk1的指针,向chunk3中输入:

payload = (prev_size = 0) + (size = 0x1F8) + (fd = ptr - 0x0c) + (bk = ptr - 0x08) + ‘a‘*(0x1F8 - 0x10) + (prev_size = 0x1F8) + (size = 0x208)

如图所示:

技术分享

5.第五步

最后执行

free(chunk2)

这里就和unlink是一样的了,向后合并,最终ptr指向ptr - 0x0C,就可以对任意地址进行写操作了。

0x02 参考链接

Double Free浅析

看雪.Wifi万能钥匙 CTF 2017 第4题Writeup---double free解法

以上是关于Double Free的主要内容,如果未能解决你的问题,请参考以下文章

Double Free

double free or corruption (out)

C语言,realloc动态内存申请,出现报错double free or corruption (!prev)

堆漏洞——实战double free和unlink漏洞

在这个 spark 代码片段中 ordering.by 是啥意思?

gcc编译程序时出现 double free or corruption (out) 报错的解决办法