[强网杯 2021 Final] qwbhttpd 解题思路
Experience
这是一个32bit MIPS大端序的httpd。比赛过程挺曲折的,一开始本地调试用的qemu-user
没管随机化问题,于是通过在uClibc中手动审计找了一个类似one_gadget的东西拿了shell。但是后来试了试发现远程起在qemu-system
,于是就索性试试1/4096
看能不能爆到——很遗憾没有hhh。
知道远程有随机化后我尝试过几个思路,但是都是差最后一点没构造成功
Reverse
程序主要逻辑其实就是:解析请求
->handle URL
->不可描述的一堆处理
初步分析后,发现其中被能handle的请求有三种:
- GET请求
/index.html
- 通过一个函数返回
./index.html
文件中的内容(这是我其中一个利用思路来源)
- 通过一个函数返回
- POST请求
/login.html
- 必须带有两个请求头:
Content-Length
和Content-WWidth
- 必须要满足:
Content-Length == Content-WWidth*Content-WWidth*2
- 请求体大小为
Content-Length
,且由0,1串构成,其中可用空格和回车分割
- 必须带有两个请求头:
- GET请求
/encode.html?info=
- 前提条件是已经完成login,login的状态保存在一个全局变量
如果已经login则会把info参数中的信息进行encode
"Login" function analysis
一开始的难点是分析程序如何解析login请求体的内容,主要实现在0x1250
和0x5160
中。通过查看0x5160
所引用的一些常量中发现了两个东西:
- base45编码用的表:
0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ $%*+-./:
- 一个奇怪的7x7矩阵:
从读取请求体的逻辑上看基本可以确定是读取的一个NxN矩阵,N值为Content-WWidth
。在后续过程中程序用上述7x7矩阵和输入矩阵多个位置进行了比对。在查阅base45实现的过程中发现base45常常被用在某些二维码识别模块,遂恍然大悟:程序在做的其实是解析0,1串表示的二维码。上述比较过程其实就是确定二维码三个角上的定位点。
我们只要将passwd用qrcode库编码后POST到/login.html
即可实现登录。
password前四位是启动时随机生成的,后四位是一个固定的程序地址。如果能能拿到passwd即同时完成了程序地址leak。
观察二维码解码后处理的逻辑:
strcmp的过程中第一个不相等的字符与正确字符的差值会被保存到uVar4
,经过一个运算后存放在passwd[32]的位置上,而passwd最大长度为0x20,这样会导致这个值被leak出来,于是可以通过侧信道爆破的方式计算出正确的passwd值。
"Encode" function analysis
Encode逻辑同样是非常复杂,但是在实际测试的时候我找到了一个可以刚好覆盖到返回地址的栈溢出。但是返回地址的值不能直接由输入值控制,会经过一些运算处理,当然时间原因比赛过程是不可能一点一点逆完的。好在这个运算可以逆运算,只是不能任意地址跳转了,只能任意跳转到末尾为0(16进制最后一位)的地址。
溢出请求的构造结构大致如下:
GET /encode.html?info=1&info=xxxxxxxxxx \r\n
同时通过动态调试发现,在跳转前,栈上残留了上一次http请求中头部字段残余的值。于是想到可以把ROP参数利用请求头构造到栈上,然后跳转到合适的gadget上进行控制流劫持。
Exploit
Several ways
关于利用,列出当时的几个失败思路和成功的思路
one_gadget ×
注意:此one_gadget非真正的one_gadget,只是思路上类似
审计uClibc中有调用到/bin/sh
字符串的所有位置,发现有一个地址末位为0的片段,正常执行下去不会报错,并且发生类似execl("/bin/sh", ["/bin/sh", "-c", "xxxx"] ,env)
的调用,其中xxx取自sp+偏移
处保存的指针...这不正好可以控制参数并getshell
虽然如开头所说这个思路由于远程随机化破产了,但是我认为在实际利用中依然是一个思考方向
do_read_file ×
在访问/index.html
时会调用一个读文件函数do_read_file("./index.html")
,这个函数只需要用两段gadget,分别从栈上读参数,把参数加载到$a0
上即可完成任意文件读。但是本题在所有已知地址中都无法构造出./flag
来,所以利用失败。
leak ×
这个思路尝试调用程序中返回http请求错误信息或者返回解码结果的函数(同样只需要控制$a0
),来泄露got表保存的地址。然而泄露容易,当想控制泄露完后执行流时发现找不到合适的gadget(也许是我没找到而已)。简而言之,这样的gadget大致需要满足:能够jr
某个可控寄存器跳到被控函数且跳转前将$ra
设为可控值。这样在函数内部将$ra
保存到栈,并取出$ra
值返回的时候,跳到的便是可控地址。
rewrite got & shellcode √
之前查到好多例子都是以调用shellcode结尾,但是在checksec的时候发现开了NX
保护就没想这方面。后来从科恩的师傅那了解到由于缺乏硬件支持,mips是没有NX保护的(这里还有点疑惑),可以劫持got表跳转到shellcode。
那么问题来了,如何找到能写完got表之后就能调用被修改表项的指针,而且不报错的位置?如果用rop分别进行修改和调用那么又会面临leak思路中遇到的问题。
他的思路是跳到了0x1170
的位置,这里是一个从已打开的文件描述符(fd)读取(用的read)内容并写到输出流上的函数:
观察反汇编:
可以发现,其中几个关键参数都可以控制:
- gp寄存器从栈上取得,可以控制,这关系到如何取出read函数的地址。由于之前已经leak了程序地址,所以这一步可以通过计算得到正确的gp偏移
gp_val = 0x80007870 + (elf_base - 0x7ffe6000)
- read的第一个参数由
$s0
控制,第二个参数由$s1
控制,大部分gadget可控(此处依然最好选取0结尾处的gadget)
- 控制read写write的got表为shellcode地址,而shellcode可以直接从
write_got+4
的位置开始覆盖,也就是:[wrtie_got] -> wrtie_got+4
- 控制read写write的got表为shellcode地址,而shellcode可以直接从
gadget选用如下:
Write shellcode
最后详解一下mips下shellcode编写技巧,因为虽然大致思路与x86类似,但是用些mips way
可以让shellcode更精炼
下面是我用的shellcode:
可以看到参数传递不是通过
常数加载到寄存器,
寄存器存栈,然后
传栈指针的笨方式,而是先在代码中嵌入了一段string,在string前bal exec
,这样string所在地址就会作为返回地址保存在$ra
寄存器中,下面只需要把$ra
给到$a0
就完成了参数控制。注意,由于mips架构中指令预取特性的存在,bal
后面需要用一条nop
指令来填充(这部分原因在大二计组课程会提到,不赘述)
另一个要注意的点是调用号为0xFAB
,也就是4000+11
,MIPS架构的Linux系统有如下宏:
在linux-xxx/arch/mips/include/uapi/syscall.h
可以看到
而在linux-xxx/arch/mips/kernel/syscalls/syscall_o32.tbl
可以看到execve
调用号为11
最后的系统调用号是__NR_syscall+11
构成,也就是0xFAB
Full exp
Summary
MIPS可能在Iot安全研究中经常见到,很多东西不如x86那么直观。打好基础,通过迁移运用的方式发现利用思路很重要。对了,对uClibc利用方式感兴趣的可以看看我之前发的有关uClibc下malloc机制利用思路的文章。