-
-
[原创]PWN入门-1-大黑客出世-栈上的缓冲区溢出(Linux平台)
-
发表于: 2024-6-17 21:14 8541
-
这里记录了小白的第一次PWN,经过严选,采取Linux平台作为实验环境,以栈上的缓冲区作为PWN成功之路的的第一步。
麻烦施主们多多关照!
相信以后的PWN之路也会一路畅顺!!!
函数调用发生时,调用函数需要知道被调用函数的位置,并根据需要传递形参,当函数调用结束时,被调用函数需要返回到调用函数,并根据需要传递返回值。这些环境信息需要空间进行存储,当本次调用产生的环境信息被保存下来后,还需要保证前次调用产生的环境信息不能被覆盖(保证回到调用函数时,调用函数仍可正常工作),由于函数调用的层数是无法预测的,因此数量有限的寄存器无法提供足够的空间保存环境信息。
考虑环境信息随函数调用产生,所以每个函数都需要独立空间对环境信息进行保存,计算机为了支持函数调用,在内存空间中特意设置一段连续空间,用于存储函数调用产生的环境信息。
被调用函数的生命会先于调用函数结束,所以与函数生命周期一致的栈也保持先进后出的关系。函数调用发生时返回地址最先入栈,当被调用函数返回时,其余数据均已出栈,返回地址作为最后的数据存在,刚好可以被调用函数直接从栈上取出并使用。
栈顶指针(寄存器保存)始终指向最后进栈的数据。为了避免使用浮动的栈顶指针检索数据,一般使用相对稳定的栈底指针(寄存器保存)检索数据,栈底指针会标明函数栈的底部位置。调用函数栈的栈底指针晚于返回地址压入被调用函数栈内,当调用函数返回时会先恢复栈底指针寄存器为调用函数的栈底指针,保障底指针寄存器对调用函数是正确的。对于被调用函数而言,函数调用发生时的栈顶指针指向的位置就是自己的栈底。
函数内会使用局部变量,其生命周期与函数一致,所以当寄存器不够用时,就可以借助函数栈存放局部变量。假如局部变量的类型是基于内存实现的(数组、结构体等),或者函数内需要使用局部变量的地址,那么该局部变量必须放在函数栈内。
函数调用产生的环境信息和函数使用的局部变量在编译过程中已经可以确认,所以编译器会对栈空间进行布局规划。
栈是向低地址增长的,晚于返回地址入栈的局部变量会位于更下方的地址,但当向缓冲区变量中复制数据时则会按照从低向高的方向复制。如果复制数据的长度超出缓冲区变量的容量,那么溢出的数据就会覆盖更高位的地址。
当返回地址被篡改时,被调用函数在返回时会取出与预期不符的返回地址,然后跳转到返回地址指向的位置并执行其中的内容。
实验环境:Linux-AMD64
下面展示出了示例程序的源代码。
在源代码中可以看到,main
函数接收命令行作为参数,并将argv[1]
传递给函数simple_overflow
,函数会将argv[1]
复制给缓冲区变量buf
。
接下来通过编译器gcc
和编译选项-g
进行编译。
成功开启PWN成功之路的第一步!
通过objdump
对生成的二进制进行反汇编,下面会对反汇编结果进行解释。
不管是main
函数还是simple_overflow
函数,起开头都会有下面的三条指令。
在前面栈的介绍
中说过,每个函数的栈都是独立的,栈空间的范围通过栈底指针寄存器(amd64:rbp
)和栈顶指针寄存器(amd64: rsp
)标识,新数据入栈会放入栈的最顶部,而rsp
一直指向栈顶,所以并不会受新数据入栈的影响,只需要1个寄存器保存即可。
但是不同函数栈的栈底是没有规律的,因此每个函数栈的栈底都需要单独保存,考虑到寄存器的空间并不够用,所以需要使用栈空间保存,由于函数调用产生时,被调用函数的栈底就是调用函数的栈顶。
因此在函数开始时,会先将调用函数的栈底从rbp
放入栈内,再将调用函数的栈顶放入rbp
内,作为被调用函数的栈底,最后通过sub
指令分配栈空间。
这三条指令标志着一个典型函数的开始。
main
函数在处理好栈之后,就会开始处理形参,形参根据调用协议放入指定位置,常见的调用协议有fastcall
、stdcall
等等但不管哪种调用协议,形参位置都会放入寄存器或栈空间内。
从下面的指定可以看到,edi
占用0x4字节,rsi
占用0x6字节,由此推测edi
对应int
类型的argc
,rsi
对应char**
的argv
,其中目前的实验环境是64位的Linux虚拟机,虚拟地址空间只占用了48位,因此是0x6字节(1字节是8比特,48 / 8 = 6
)。
假如我们在调试器上观察argv
,会发现其中参数来源于父函数栈,而且栈上还保存着许多命令行的环境变量。
处理好形参后,这里主要使用的寄存器是rax
,因为使用argv[1]
进行判断,所以再将argv
放入rax
后,会在偏移0x8字节到达argv[1]
,然后将argv[1]
指针对应的内容放入rax
。最后使用test
和jne
指令进行条件跳转。
当argv[1]
没有收到参数时,就会从取出字符串交给rax
,然后根据调用协议传递给rdi
,调用打印函数,最后将返回值赋给rax
返回。
虽然代码使用的是printf
函数,但是因为没有任何的参数传递给打印字符串,所以这里直接使用了puts
函数。
当收到argv[1]
时,会先调用函数getchar
,这个函数的主要作用是等待字符输入,没有输入就一直停留在这里,使得我们可以方便的挂到调试器上。
当接到输入字符后,main
函数就会开始准备调用simple_overflow
函数,此处处理可以发现与前面处理argv[1]
以及处理待发送的形参类似,因此不在过多赘述。
simple_overflow
函数完成调用后,会再进行一次打印。
下面的部分是典型函数的结尾部分,mov
指令负责将返回值交给rax
,leave
指令负责释放分配的栈空间并恢复栈底指针寄存器,ret
指令负责从栈上取出返回值并返回。
了解完main
函数后,接着再了解一下simple_overflow
函数,其中函数开始部分、形参处理、结尾部分、打印部分都不会再进行解析了。
处理完形参后,simple_overflow
函数会从fs
中取出1个数值交给rax
,最后放入栈内,xor
会对数值进行与运算,当数值与自己进行与运算时,就会将自己清零。
在函数结尾部分,也有一段与之对应的内容,下面的汇编代码会从栈上取出之前保持的数值与fs
上数值进行比对,如果不一样就会调用__stack_chk_fail
函数。
不过往栈上放这么个数据是为什么呢?栈上又检查啥呢?先不管了,应该不影响我成功PWN。
下面的汇编代码会给strcpy
函数准备形参,其中rbp-0x28
是main
函数传递过来的形参,rbp-0x14
是本地缓冲区变量的所在位置。
strcpy
函数会将形参中的内容复制给本地缓冲区变量,因此strcpy
函数复制时并不会考虑形参的内容是否超过本地缓冲区变量的容量,只会在遇到字符串结束符\0
时才会停止。
成功开启PWN之路的第2步!!!
pwntools
是专门为PWN设置的工具,可以借助python方便的使用pwntools
,然后借助pwntools
中的工具快速建立脚本,对目标进行PWN。
下面会使用pwntools
中的shellcode
生成功能以及地址转换功能进行开发,其中shellcode
是控制执行流后需要执行的内容,一般会建立shell
环境,使得执行流打开终端,让我们可以随意输入命令。
exploit
指漏洞利用脚本,exploit
会对程序的漏洞进行利用。
通过前面分析的程序可以知道,为了让缓冲区变量在栈上溢出,需要向程序提交命令行参数1个,并且要保证提交的命令行参数的内容超出本地缓冲区变量的容量。那么需要构造的命令行参数就会由填满本地缓冲区变量到栈底的部分、填满调用函数的栈底指针部分、被劫持的返回地址、shellcode
组成。
这其中有个很重要的问题,就是如何设定新的返回地址,新的返回地址需要设置在shellcode
的所在位置,考虑到shellcode
位于栈上,因此可以借助rbp
或rsp
索引shellcode
。
既然如此,那就先确认rbp
或rsp
的位置,然后再计算shellcode
的位置。
在C语言中,可以借助寄存器变量及汇编代码获取寄存器的数值,只要把rbp
或rsp
的数值打印出来就可以。
什么!每次打印出来的地址都不一样!!!每次看到的地址都是失效的,新运行的程序都会再获得新的地址,这样可怎么确认地址啊!!!
难道我的第一次PWN之路就这么结束了?
通过查阅资料可以知道,为了避免其他人提前知道程序的内存布局,Linux引入地址空间布局随机化Address Space Layout Randomization
技术,提高内存布局的随机性。
ASLR是否开启可以通过虚文件/proc/sys/kernel/randomize_va_space
进行查看,当然也可也通过虚文件打开和关闭。其中0代表关闭,1代表部分开启(mmap的基址、stack、vdso)、2代表全部开启。
通过命令echo 0 | sudo tee -a /proc/sys/kernel/randomize_va_space
就可以将ASLR关闭了。
在顺利关闭ASLR后,rbp
及rsp
中保存的数值就会稳定下来,此时再去设置返回地址就万无一失了!
构造如下所示的exploit
,开始PWN!
在运行exploit
后,发现程序因为异常退出了,打印如下的语句。
竟然检测到堆栈被破坏了?怎么检测的,谁检测的。
前面有分析过simple_overflow
中一段特别的代码,原来它会从fs
中取出1个随机值放入栈内,当函数准备返回时,就会取出保存在栈上的随机值进行查看,如果数值发生变化,就会调用__stack_chk_fail
函数,然后退出。
经过一番搜索,发现这个机制叫做金丝雀,由于攻击者是覆盖一段连续的栈空间,因此当栈上数据产生溢出时,随机值一定会发生改变,且攻击者是无法预测这个随机值的,因此在函数结束时,可以有效的检测栈是否被破坏。
但是为了继续完成PWN,只能暂时通过编译选项-fno-stack-protector
将该机制暂时关闭。
在得到没有金丝雀保护的程序(给本地缓冲区变量分配的空间从0x14降低到了0xc),再次运行exploit
,发现程序收到了异常信号。
这又是为什么呢?PWN之路好艰难啊!
将gdb调试器附加到程序上,观察strcpy
函数执行后的栈空间,可以看到返回地址上并不是地址,地址对应的字符。
程序接收命令,命令行参数作为字符串存在,当传递\x7f
这样的字符时,前缀\x
并不会被自动解释,所以需要先获取解释前缀\x
后对应字符,然后将解释获得的字符作为命令行参数传递。
在Linux下有一个非常强大的打印命令-echo
,通过查看echo
的使用文档可以知道,添加-e选项就可以对\x
进行解释。
此时我们需要修改payload
,让它可以传递原始比特数据对应的字符。
在使用新的payload
传输后,发现仍无法进行PWN,观察栈上的返回地址后,发现0xffffde40 0x00007fff
变成了0xffffde40 0x686a7fff
,这显然与预期中使用0填充空间的情况有所误差。
观察686a
,不难知道,它来自于shellcode
,在目前的构造中shellcode
,位于返回地址的后方。
为了让返回地址变成正常的格式,需要重新思考存放shellcode
的位置。假如将shellcode
向前放置,就需要本地缓冲区变量到返回地址间的空间是足够容纳shellcode
的,现在的空间显然是不够的,所以shellcode
前置的方法需要增大本地缓冲区变量的容量。
假如不将shellcode
前置,前面通过观察argv
可以知道,argv
所在的栈空间会将一部分的命令行环境变量放进来,因此提前设置好shellcode
的环境变量,然后再跳过去也是一种方案。
这里先采用shellcode
前置的方案。
再次调整payload
。
发现仍无法PWN成功,在挂到调试器上观察后,发现已经顺利的抵达shellcode
的所在位置,但是一执行就又崩掉了。
难道栈上的指令是不可执行的?
怀着这个疑问,我查看了进程的maps
文件,maps
文件位于Linux中的proc
目录,其中对应进程目录下记录了各种与进程相关的信息,而maps
文件就是进程的内存布局图。
在查看maps
文件后,可以确认现在的栈的确是不可执行的。
小问题不慌,添加编译选项-z execstack
,使得栈变成可以执行的状态。
在获得可执行栈的程序后,再次运行exploit
,就可以成功得到shell
,完成PWN了!!!
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
static void simple_overflow(char
*
in_val)
{
char buf[
12
];
strcpy(buf, in_val);
printf(
"buffer content: %s\n"
, buf);
}
int
main(
int
argc, char
*
argv[])
{
if
(!argv[
1
]) {
printf(
"need argv[1], will exit...\n"
);
return
0
;
}
getchar();
simple_overflow(argv[
1
]);
printf(
"has return\n"
);
return
0
;
}
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
static void simple_overflow(char
*
in_val)
{
char buf[
12
];
strcpy(buf, in_val);
printf(
"buffer content: %s\n"
, buf);
}
int
main(
int
argc, char
*
argv[])
{
if
(!argv[
1
]) {
printf(
"need argv[1], will exit...\n"
);
return
0
;
}
getchar();
simple_overflow(argv[
1
]);
printf(
"has return\n"
);
return
0
;
}
0000000000001179
<simple_overflow>:
1179
:
55
push
%
rbp
117a
:
48
89
e5 mov
%
rsp,
%
rbp
117d
:
48
83
ec
30
sub $
0x30
,
%
rsp
1181
:
48
89
7d
d8 mov
%
rdi,
-
0x28
(
%
rbp)
1185
:
64
48
8b
04
25
28
00
mov
%
fs:
0x28
,
%
rax
118c
:
00
00
118e
:
48
89
45
f8 mov
%
rax,
-
0x8
(
%
rbp)
1192
:
31
c0 xor
%
eax,
%
eax
1194
:
48
8b
55
d8 mov
-
0x28
(
%
rbp),
%
rdx
1198
:
48
8d
45
ec lea
-
0x14
(
%
rbp),
%
rax
119c
:
48
89
d6 mov
%
rdx,
%
rsi
119f
:
48
89
c7 mov
%
rax,
%
rdi
11a2
: e8
89
fe ff ff call
1030
<strcpy@plt>
11a7
:
48
8d
45
ec lea
-
0x14
(
%
rbp),
%
rax
11ab
:
48
89
c6 mov
%
rax,
%
rsi
11ae
:
48
8d
05
4f
0e
00
00
lea
0xe4f
(
%
rip),
%
rax
# 2004 <_IO_stdin_used+0x4>
11b5
:
48
89
c7 mov
%
rax,
%
rdi
11b8
: b8
00
00
00
00
mov $
0x0
,
%
eax
11bd
: e8
9e
fe ff ff call
1060
<printf@plt>
11c2
:
90
nop
11c3
:
48
8b
45
f8 mov
-
0x8
(
%
rbp),
%
rax
11c7
:
64
48
2b
04
25
28
00
sub
%
fs:
0x28
,
%
rax
11ce
:
00
00
11d0
:
74
05
je
11d7
<simple_overflow
+
0x5e
>
11d2
: e8
79
fe ff ff call
1050
<__stack_chk_fail@plt>
11d7
: c9 leave
11d8
: c3 ret
00000000000011d9
<main>:
11d9
:
55
push
%
rbp
11da
:
48
89
e5 mov
%
rsp,
%
rbp
11dd
:
48
83
ec
10
sub $
0x10
,
%
rsp
11e1
:
89
7d
fc mov
%
edi,
-
0x4
(
%
rbp)
11e4
:
48
89
75
f0 mov
%
rsi,
-
0x10
(
%
rbp)
11e8
:
48
8b
45
f0 mov
-
0x10
(
%
rbp),
%
rax
11ec
:
48
83
c0
08
add $
0x8
,
%
rax
11f0
:
48
8b
00
mov (
%
rax),
%
rax
11f3
:
48
85
c0 test
%
rax,
%
rax
11f6
:
75
16
jne
120e
<main
+
0x35
>
11f8
:
48
8d
05
19
0e
00
00
lea
0xe19
(
%
rip),
%
rax
# 2018 <_IO_stdin_used+0x18>
11ff
:
48
89
c7 mov
%
rax,
%
rdi
1202
: e8
39
fe ff ff call
1040
<puts@plt>
1207
: b8
00
00
00
00
mov $
0x0
,
%
eax
120c
: eb
2c
jmp
123a
<main
+
0x61
>
120e
: e8
5d
fe ff ff call
1070
<getchar@plt>
1213
:
48
8b
45
f0 mov
-
0x10
(
%
rbp),
%
rax
1217
:
48
83
c0
08
add $
0x8
,
%
rax
121b
:
48
8b
00
mov (
%
rax),
%
rax
121e
:
48
89
c7 mov
%
rax,
%
rdi
1221
: e8
53
ff ff ff call
1179
<simple_overflow>
1226
:
48
8d
05
06
0e
00
00
lea
0xe06
(
%
rip),
%
rax
# 2033 <_IO_stdin_used+0x33>
122d
:
48
89
c7 mov
%
rax,
%
rdi
1230
: e8
0b
fe ff ff call
1040
<puts@plt>
1235
: b8
00
00
00
00
mov $
0x0
,
%
eax
123a
: c9 leave
123b
: c3 ret
0000000000001179
<simple_overflow>:
1179
:
55
push
%
rbp
117a
:
48
89
e5 mov
%
rsp,
%
rbp
117d
:
48
83
ec
30
sub $
0x30
,
%
rsp
1181
:
48
89
7d
d8 mov
%
rdi,
-
0x28
(
%
rbp)
1185
:
64
48
8b
04
25
28
00
mov
%
fs:
0x28
,
%
rax
118c
:
00
00
118e
:
48
89
45
f8 mov
%
rax,
-
0x8
(
%
rbp)
1192
:
31
c0 xor
%
eax,
%
eax
1194
:
48
8b
55
d8 mov
-
0x28
(
%
rbp),
%
rdx
1198
:
48
8d
45
ec lea
-
0x14
(
%
rbp),
%
rax
119c
:
48
89
d6 mov
%
rdx,
%
rsi
119f
:
48
89
c7 mov
%
rax,
%
rdi
11a2
: e8
89
fe ff ff call
1030
<strcpy@plt>
11a7
:
48
8d
45
ec lea
-
0x14
(
%
rbp),
%
rax
11ab
:
48
89
c6 mov
%
rax,
%
rsi
11ae
:
48
8d
05
4f
0e
00
00
lea
0xe4f
(
%
rip),
%
rax
# 2004 <_IO_stdin_used+0x4>
11b5
:
48
89
c7 mov
%
rax,
%
rdi
11b8
: b8
00
00
00
00
mov $
0x0
,
%
eax
11bd
: e8
9e
fe ff ff call
1060
<printf@plt>
11c2
:
90
nop
11c3
:
48
8b
45
f8 mov
-
0x8
(
%
rbp),
%
rax
11c7
:
64
48
2b
04
25
28
00
sub
%
fs:
0x28
,
%
rax
11ce
:
00
00
11d0
:
74
05
je
11d7
<simple_overflow
+
0x5e
>
11d2
: e8
79
fe ff ff call
1050
<__stack_chk_fail@plt>
11d7
: c9 leave
11d8
: c3 ret
00000000000011d9
<main>:
11d9
:
55
push
%
rbp
11da
:
48
89
e5 mov
%
rsp,
%
rbp
11dd
:
48
83
ec
10
sub $
0x10
,
%
rsp
11e1
:
89
7d
fc mov
%
edi,
-
0x4
(
%
rbp)
11e4
:
48
89
75
f0 mov
%
rsi,
-
0x10
(
%
rbp)
11e8
:
48
8b
45
f0 mov
-
0x10
(
%
rbp),
%
rax
11ec
:
48
83
c0
08
add $
0x8
,
%
rax
11f0
:
48
8b
00
mov (
%
rax),
%
rax
11f3
:
48
85
c0 test
%
rax,
%
rax
11f6
:
75
16
jne
120e
<main
+
0x35
>
11f8
:
48
8d
05
19
0e
00
00
lea
0xe19
(
%
rip),
%
rax
# 2018 <_IO_stdin_used+0x18>
11ff
:
48
89
c7 mov
%
rax,
%
rdi
1202
: e8
39
fe ff ff call
1040
<puts@plt>
1207
: b8
00
00
00
00
mov $
0x0
,
%
eax
120c
: eb
2c
jmp
123a
<main
+
0x61
>
120e
: e8
5d
fe ff ff call
1070
<getchar@plt>
1213
:
48
8b
45
f0 mov
-
0x10
(
%
rbp),
%
rax
1217
:
48
83
c0
08
add $
0x8
,
%
rax
121b
:
48
8b
00
mov (
%
rax),
%
rax
121e
:
48
89
c7 mov
%
rax,
%
rdi
1221
: e8
53
ff ff ff call
1179
<simple_overflow>
1226
:
48
8d
05
06
0e
00
00
lea
0xe06
(
%
rip),
%
rax
# 2033 <_IO_stdin_used+0x33>
122d
:
48
89
c7 mov
%
rax,
%
rdi
1230
: e8
0b
fe ff ff call
1040
<puts@plt>
1235
: b8
00
00
00
00
mov $
0x0
,
%
eax
123a
: c9 leave
123b
: c3 ret
push
%
rbp
mov
%
rsp,
%
rbp
sub $
0x10
,
%
rsp
push
%
rbp