❗off_by_one这个漏洞比较特殊,它不像上一期的堆溢出,可以溢出很多字节,它只能溢出一个字节,在栈里面也可以通过这个漏洞修改返回地址什么的,在堆里面我们主要利用它来修改堆块的大小,形成fake_chunk也就可以进行堆的重叠,在64位的时候如果申请0x18,0x28,0x38这样的堆它的size位是0x21,0x31和0x41,那为什么,头部0x10加申请的0x18大小已经是0x28大小了为啥size还是0x21,别忘了,当上一个chunk正在使用的时候下一个chunk的prev_size位也拿来当我们的数据部分。
那么我们就可以利用这个特性来进行off_by_one,那样就可以修改下一个chunk的size位。
我们拿一道题目来具体复现一下这个漏洞。✅
题目链接:
1.养成好习惯首先看保护
2.不如不看🙃,哈哈,开玩笑的,保护全开,但是不要慌,对于堆题目这很正常,我们用64位ida看一下
3.还是一些功能函数,add添加chunk
4.edit函数
这里主要在输入size的时候进行了一次判断,就是sub_E3A这个函数
如果输入的size减去申请chunk的size等于10的话会返回a1加1,也就是我们在chunk size的基础上可以多输入一个字节,满足off_by_one
5.show函数和delete函数
我们先申请两个chunk,第一个是0x18,0x28,0x38之类的
现在编辑第一个堆进行溢出一个字节修改下一个chunk的size位
修改之前
修改之后
注意此时虽然修改成功了,但是堆结构被我们破坏了,top chunk距离上一个chunk距离不是0x40了,所以我们继续申请一个堆,来恢复堆结构
恢复之后此时堆结构
之后我们把chunk1 free掉
我们再次申请回来,发现原来的0x91不见了
那么我们再次构造unsortbin chunk
我们free2 的时候就会得到unsortbin,但是记得再申请一个堆,不然free的时候会和top chunk合并
在2.23版本里面泄露出的地址-0x58就是main_arena的地方而main_arena-0x10就是__malloc_hook地址
然后这里使用fatsbin attack 申请到_malloc_hook和recalloc_hook附近修改它们的值,(一般都是__malloc_hook-0x23)
因为这里符合size的结构
这里要注意并不是修改__malloc_hook为one_gadget就可以getshell,通常可以使用realloc_hook 调整栈帧使 onegadget 生效
将 malloc_hook 劫持为 realloc ,realloc_hook 劫持为 onegadget ,实际运行顺序:
malloc -> malloc_hook -> realloc -> realloc_hook -> onegadget
这样就能经过 realloc 调整栈帧后再运行 onegadget 。但是实际情况中,并不是直接劫持 malloc_hook 为 realloc ,而是要加上一定的偏移,也就是调整 push 的数量,让栈帧结构满足 onegadget 运行
最后放上exp: 代码还是有点多的