Heap Overflow

学习并练习AWS黑客技术:HackTricks培训AWS红队专家(ARTE) 学习并练习GCP黑客技术:HackTricks培训GCP红队专家(GRTE)

支持HackTricks

基本信息

堆溢出类似于栈溢出,但发生在堆中。基本上意味着在堆中保留了一些空间来存储一些数据,存储的数据大于保留的空间。

在栈溢出中,我们知道一些寄存器,如指令指针或堆栈帧,将从堆栈中恢复,并且可能滥用这一点。在堆溢出的情况下,堆块中默认没有存储任何敏感信息,可以被溢出。但是,可能是敏感信息或指针,因此此漏洞的严重性取决于可以被覆盖的数据以及攻击者如何滥用此漏洞

为了找到溢出偏移量,您可以使用与栈溢出相同的模式。

栈溢出与堆溢出

在栈溢出中,当漏洞触发时,堆栈中将出现的排列和数据相当可靠。这是因为堆栈是线性的,在冲突内存中始终增加,在程序运行的特定位置,堆栈内存通常存储类似类型的数据,并且具有一些特定结构,其中堆栈部分的末尾有一些指针。

然而,在堆溢出的情况下,使用的内存不是线性的,而是分配的块通常位于内存的分离位置(不是相邻的),因为通过大小分隔分配的bin和zone,以及在分配新块之前使用先前释放的内存。很难知道将与易受堆溢出的对象发生冲突的对象是什么。因此,当发现堆溢出时,需要找到一种可靠的方法,使期望的对象从易受溢出的对象的旁边进入内存。

用于此目的的技术之一是堆整理,例如在此文章中使用。文章中解释了在iOS内核中,当一个区域的内存用完以存储内存块时,它会通过内核页扩展,然后将该页分割为预期大小的块,这些块将按顺序使用(直到iOS版本9.2,然后这些块以随机方式使用,以增加这些攻击的利用难度)。

因此,在先前的文章中,发生堆溢出时,为了强制溢出的对象与受害者顺序发生冲突,通过几个线程强制执行几个**kallocs**,以确保所有空闲块都被填充,并创建一个新页面。

为了强制使用特定大小的对象填充此对象,与iOS mach端口相关联的离线分配是一个理想的选择。通过精心制作消息的大小,可以精确指定kalloc分配的大小,当相应的mach端口被销毁时,相应的分配将立即释放回kfree

然后,可以释放其中一些占位符。**kalloc.4096**空闲列表以后进先出的顺序释放元素,这基本上意味着如果释放了一些占位符,并且尝试在分配易受溢出的对象时分配多个受害者对象,那么很可能该对象将被受害者对象跟随。

示例libc

此页面中,可以找到一个基本的堆溢出仿真,展示了如何通过覆盖下一个块的使用中的前一个位和前一个大小的位置,可以合并一个已使用的块(使其认为未使用),然后再次分配它,从而能够覆盖正在不同指针中使用的数据。

另一个来自protostar heap 0的示例展示了一个CTF的非常基本的示例,其中可以滥用堆溢出来调用获得标志的winner函数

protostar heap 1示例中,可以看到如何通过滥用缓冲区溢出,可以覆盖附近块中的地址,其中用户的任意数据将被写入。

示例ARM64

在页面https://8ksec.io/arm64-reversing-and-exploitation-part-1-arm-instruction-set-simple-heap-overflow/中,您可以找到一个堆溢出示例,其中将要执行的命令存储在溢出块的下一个块中。因此,可以通过用易受攻击的方式覆盖它来修改要执行的命令,例如:

python3 -c 'print("/"*0x400+"/bin/ls\x00")' > hax.txt

其他示例

  • 我们利用整数溢出漏洞来实现堆溢出。

  • 我们损坏了溢出块中的struct内的函数指针,以设置诸如system之类的函数,并实现代码执行。

学习并练习AWS Hacking:HackTricks 培训 AWS 红队专家 (ARTE) 学习并练习GCP Hacking: HackTricks 培训 GCP 红队专家 (GRTE)

支持 HackTricks

Last updated