mirror of
https://github.com/LCTT/TranslateProject.git
synced 2024-12-26 21:30:55 +08:00
386 lines
15 KiB
Markdown
386 lines
15 KiB
Markdown
[#]: subject: "How to look at the stack with gdb"
|
||
[#]: via: "https://jvns.ca/blog/2021/05/17/how-to-look-at-the-stack-in-gdb/"
|
||
[#]: author: "Julia Evans https://jvns.ca/"
|
||
[#]: collector: "lujun9972"
|
||
[#]: translator: "amwps290"
|
||
[#]: reviewer: "wxy"
|
||
[#]: publisher: "wxy"
|
||
[#]: url: "https://linux.cn/article-13550-1.html"
|
||
|
||
使用 GDB 查看程序的栈空间
|
||
======
|
||
|
||
|
||
|
||
昨天我和一些人在闲聊的时候，他们说他们并不真正了解栈是如何工作的，而且也不知道如何去查看栈空间。
|
||
|
||
这是一个快速教程，介绍如何使用 GDB 查看 C 程序的栈空间。我认为这对于 Rust 程序来说也是相似的。但我这里仍然使用 C 语言，因为我发现用它更简单，而且用 C 语言也更容易写出错误的程序。
|
||
|
||
### 我们的测试程序
|
||
|
||
这里是一个简单的 C 程序，声明了一些变量，从标准输入读取两个字符串。一个字符串在堆上，另一个字符串在栈上。
|
||
|
||
```
|
||
#include <stdio.h>
|
||
#include <stdlib.h>
|
||
|
||
int main() {
|
||
char stack_string[10] = "stack";
|
||
int x = 10;
|
||
char *heap_string;
|
||
|
||
heap_string = malloc(50);
|
||
|
||
printf("Enter a string for the stack: ");
|
||
gets(stack_string);
|
||
printf("Enter a string for the heap: ");
|
||
gets(heap_string);
|
||
printf("Stack string is: %s\n", stack_string);
|
||
printf("Heap string is: %s\n", heap_string);
|
||
printf("x is: %d\n", x);
|
||
}
|
||
```
|
||
|
||
这个程序使用了一个你可能从来不会使用的极为不安全的函数 `gets` 。但我是故意这样写的。当出现错误的时候，你就知道是为什么了。
|
||
|
||
### 第 0 步：编译这个程序
|
||
|
||
我们使用 `gcc -g -O0 test.c -o test` 命令来编译这个程序。
|
||
|
||
`-g` 选项会在编译程序中将调式信息也编译进去。这将会使我们查看我们的变量更加容易。
|
||
|
||
`-O0` 选项告诉 gcc 不要进行优化，我要确保我们的 `x` 变量不会被优化掉。
|
||
|
||
### 第一步：启动 GDB
|
||
|
||
像这样启动 GDB：
|
||
|
||
```
|
||
$ gdb ./test
|
||
```
|
||
|
||
它打印出一些 GPL 信息，然后给出一个提示符。让我们在 `main` 函数这里设置一个断点：
|
||
|
||
```
|
||
(gdb) b main
|
||
```
|
||
|
||
然后我们就可以运行程序：
|
||
|
||
```
|
||
(gdb) b main
|
||
Starting program: /home/bork/work/homepage/test
|
||
Breakpoint 1, 0x000055555555516d in main ()
|
||
|
||
(gdb) run
|
||
Starting program: /home/bork/work/homepage/test
|
||
|
||
Breakpoint 1, main () at test.c:4
|
||
4 int main() {
|
||
```
|
||
|
||
好了，现在程序已经运行起来了。我们就可以开始查看栈空间了。
|
||
|
||
### 第二步：查看我们变量的地址
|
||
|
||
让我们从了解我们的变量开始。它们每个都在内存中有一个地址，我们可以像这样打印出来：
|
||
|
||
```
|
||
(gdb) p &x
|
||
$3 = (int *) 0x7fffffffe27c
|
||
(gdb) p &heap_string
|
||
$2 = (char **) 0x7fffffffe280
|
||
(gdb) p &stack_string
|
||
$4 = (char (*)[10]) 0x7fffffffe28e
|
||
```
|
||
|
||
因此，如果我们查看那些地址的堆栈，那我们应该能够看到所有的这些变量！
|
||
|
||
### 概念：栈指针
|
||
|
||
我们将需要使用栈指针，因此我将尽力对其进行快速解释。
|
||
|
||
有一个名为 ESP 的 x86 寄存器，称为“<ruby>栈指针<rt>stack pointer</rt></ruby>”。 基本上，它是当前函数的栈起始地址。 在 GDB 中，你可以使用 `$sp` 来访问它。 当你调用新函数或从函数返回时，栈指针的值会更改。
|
||
|
||
### 第三步：在 `main` 函数开始的时候，我们查看一下在栈上的变量
|
||
|
||
首先，让我们看一下 main 函数开始时的栈。 现在是我们的堆栈指针的值：
|
||
|
||
```
|
||
(gdb) p $sp
|
||
$7 = (void *) 0x7fffffffe270
|
||
```
|
||
|
||
因此，我们当前函数的栈起始地址是 `0x7fffffffe270`，酷极了。
|
||
|
||
现在，让我们使用 GDB 打印出当前函数堆栈开始后的前 40 个字（即 160 个字节）。 某些内存可能不是栈的一部分，因为我不太确定这里的堆栈有多大。 但是至少开始的地方是栈的一部分。
|
||
|
||
```
|
||
(gdb) x/40x $sp
|
||
0x7fffffffe270: 0x00000000 0x00000000 0x55555250 0x00005555
|
||
0x7fffffffe280: 0x00000000 0x00000000 0x55555070 0x00005555
|
||
0x7fffffffe290: 0xffffe390 0x00007fff 0x00000000 0x00000000
|
||
0x7fffffffe2a0: 0x00000000 0x00000000 0xf7df4b25 0x00007fff
|
||
0x7fffffffe2b0: 0xffffe398 0x00007fff 0xf7fca000 0x00000001
|
||
0x7fffffffe2c0: 0x55555169 0x00005555 0xffffe6f9 0x00007fff
|
||
0x7fffffffe2d0: 0x55555250 0x00005555 0x3cae816d 0x8acc2837
|
||
0x7fffffffe2e0: 0x55555070 0x00005555 0x00000000 0x00000000
|
||
0x7fffffffe2f0: 0x00000000 0x00000000 0x00000000 0x00000000
|
||
0x7fffffffe300: 0xf9ce816d 0x7533d7c8 0xa91a816d 0x7533c789
|
||
```
|
||
|
||
我已粗体显示了 `stack_string`，`heap_string` 和 `x` 变量的位置，并改变了颜色：
|
||
|
||
* `x` 是红色字体，并且起始地址是 `0x7fffffffe27c`
|
||
* `heap_string` 是蓝色字体，起始地址是 `0x7fffffffe280`
|
||
* `stack_string` 是紫色字体，起始地址是 `0x7fffffffe28e`
|
||
|
||
你可能会在这里注意到的一件奇怪的事情是 `x` 的值是 0x5555，但是我们将 `x` 设置为 `10`！ 那是因为直到我们的 `main` 函数运行之后才真正设置 `x` ，而我们现在才到了 `main` 最开始的地方。
|
||
|
||
### 第三步：运行到第十行代码后，再次查看一下我们的堆栈
|
||
|
||
让我们跳过几行，等待变量实际设置为其初始化值。 到第 10 行时，`x` 应该设置为 `10`。
|
||
|
||
首先我们需要设置另一个断点：
|
||
|
||
```
|
||
(gdb) b test.c:10
|
||
Breakpoint 2 at 0x5555555551a9: file test.c, line 11.
|
||
```
|
||
|
||
然后继续执行程序：
|
||
|
||
```
|
||
(gdb) continue
|
||
Continuing.
|
||
|
||
Breakpoint 2, main () at test.c:11
|
||
11 printf("Enter a string for the stack: ");
|
||
```
|
||
|
||
好的！ 让我们再来看看堆栈里的内容！ `gdb` 在这里格式化字节的方式略有不同，实际上我也不太关心这些（LCTT 译注:可以查看 GDB 手册中 `x` 命令，可以指定 `c` 来控制输出的格式）。 这里提醒一下你，我们的变量在栈上的位置：
|
||
|
||
|
||
* `x` 是红色字体，并且起始地址是 `0x7fffffffe27c`
|
||
* `heap_string` 是蓝色字体，起始地址是 `0x7fffffffe280`
|
||
* `stack_string` 是紫色字体，起始地址是 `0x7fffffffe28e`
|
||
|
||
```
|
||
(gdb) x/80x $sp
|
||
0x7fffffffe270: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||
0x7fffffffe278: 0x50 0x52 0x55 0x55 0x0a 0x00 0x00 0x00
|
||
0x7fffffffe280: 0xa0 0x92 0x55 0x55 0x55 0x55 0x00 0x00
|
||
0x7fffffffe288: 0x70 0x50 0x55 0x55 0x55 0x55 0x73 0x74
|
||
0x7fffffffe290: 0x61 0x63 0x6b 0x00 0x00 0x00 0x00 0x00
|
||
0x7fffffffe298: 0x00 0x80 0xf7 0x8a 0x8a 0xbb 0x58 0xb6
|
||
0x7fffffffe2a0: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||
0x7fffffffe2a8: 0x25 0x4b 0xdf 0xf7 0xff 0x7f 0x00 0x00
|
||
0x7fffffffe2b0: 0x98 0xe3 0xff 0xff 0xff 0x7f 0x00 0x00
|
||
0x7fffffffe2b8: 0x00 0xa0 0xfc 0xf7 0x01 0x00 0x00 0x00
|
||
```
|
||
|
||
在继续往下看之前，这里有一些有趣的事情要讨论。
|
||
|
||
### `stack_string` 在内存中是如何表示的
|
||
|
||
现在（第 10 行），`stack_string` 被设置为字符串`stack`。 让我们看看它在内存中的表示方式。
|
||
|
||
我们可以像这样打印出字符串中的字节（LCTT 译注：可以通过 `c` 选项直接显示为字符）：
|
||
|
||
```
|
||
(gdb) x/10x stack_string
|
||
0x7fffffffe28e: 0x73 0x74 0x61 0x63 0x6b 0x00 0x00 0x00
|
||
0x7fffffffe296: 0x00 0x00
|
||
```
|
||
|
||
`stack` 是一个长度为 5 的字符串，相对应 5 个 ASCII 码- `0x73`、`0x74`、`0x61`、`0x63` 和 `0x6b`。`0x73` 是字符 `s` 的 ASCII 码。 `0x74` 是 `t` 的 ASCII 码。等等...
|
||
|
||
同时我们也使用 `x/1s` 可以让 GDB 以字符串的方式显示：
|
||
|
||
```
|
||
(gdb) x/1s stack_string
|
||
0x7fffffffe28e: "stack"
|
||
```
|
||
|
||
### `heap_string` 与 `stack_string` 有何不同
|
||
|
||
你已经注意到了 `stack_string` 和 `heap_string` 在栈上的表示非常不同：
|
||
|
||
* `stack_string` 是一段字符串内容（`stack`）
|
||
* `heap_string` 是一个指针，指向内存中的某个位置
|
||
|
||
这里是 `heap_string` 变量在内存中的内容：
|
||
|
||
```
|
||
0xa0 0x92 0x55 0x55 0x55 0x55 0x00 0x00
|
||
```
|
||
|
||
这些字节实际上应该是从右向左读：因为 x86 是小端模式，因此，`heap_string` 中所存放的内存地址 `0x5555555592a0`
|
||
|
||
另一种方式查看 `heap_string` 中存放的内存地址就是使用 `p` 命令直接打印 ：
|
||
|
||
```
|
||
(gdb) p heap_string
|
||
$6 = 0x5555555592a0 ""
|
||
```
|
||
|
||
### 整数 x 的字节表示
|
||
|
||
`x` 是一个 32 位的整数，可由 `0x0a 0x00 0x00 0x00` 来表示。
|
||
|
||
我们还是需要反向来读取这些字节（和我们读取 `heap_string` 需要反过来读是一样的），因此这个数表示的是 `0x000000000a` 或者是 `0x0a`，它是一个数字 `10`;
|
||
|
||
这就让我把把 `x` 设置成了 `10`。
|
||
|
||
### 第四步：从标准输入读取
|
||
|
||
好了，现在我们已经初始化我们的变量，我们来看一下当这段程序运行的时候，栈空间会如何变化：
|
||
|
||
```
|
||
printf("Enter a string for the stack: ");
|
||
gets(stack_string);
|
||
printf("Enter a string for the heap: ");
|
||
gets(heap_string);
|
||
```
|
||
|
||
我们需要设置另外一个断点：
|
||
|
||
```
|
||
(gdb) b test.c:16
|
||
Breakpoint 3 at 0x555555555205: file test.c, line 16.
|
||
```
|
||
|
||
然后继续执行程序：
|
||
|
||
```
|
||
(gdb) continue
|
||
Continuing.
|
||
```
|
||
|
||
我们输入两个字符串，为栈上存储的变量输入 `123456789012` 并且为在堆上存储的变量输入 `bananas`;
|
||
|
||
### 让我们先来看一下 `stack_string`（这里有一个缓存区溢出）
|
||
|
||
```
|
||
(gdb) x/1s stack_string
|
||
0x7fffffffe28e: "123456789012"
|
||
```
|
||
|
||
这看起来相当正常，对吗？我们输入了 `12345679012`，然后现在它也被设置成了 `12345679012`（LCTT 译注：实测 gcc 8.3 环境下，会直接段错误）。
|
||
|
||
但是现在有一些很奇怪的事。这是我们程序的栈空间的内容。有一些紫色高亮的内容。
|
||
|
||
```
|
||
0x7fffffffe270: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||
0x7fffffffe278: 0x50 0x52 0x55 0x55 0x0a 0x00 0x00 0x00
|
||
0x7fffffffe280: 0xa0 0x92 0x55 0x55 0x55 0x55 0x00 0x00
|
||
0x7fffffffe288: 0x70 0x50 0x55 0x55 0x55 0x55 0x31 0x32
|
||
0x7fffffffe290: 0x33 0x34 0x35 0x36 0x37 0x38 0x39 0x30
|
||
0x7fffffffe298: 0x31 0x32 0x00 0x8a 0x8a 0xbb 0x58 0xb6
|
||
0x7fffffffe2a0: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||
0x7fffffffe2a8: 0x25 0x4b 0xdf 0xf7 0xff 0x7f 0x00 0x00
|
||
0x7fffffffe2b0: 0x98 0xe3 0xff 0xff 0xff 0x7f 0x00 0x00
|
||
0x7fffffffe2b8: 0x00 0xa0 0xfc 0xf7 0x01 0x00 0x00 0x00
|
||
```
|
||
|
||
令人奇怪的是 **`stack_string` 只支持 10 个字节**。但是现在当我们输入了 13 个字符以后，发生了什么？
|
||
|
||
这是一个典型的缓冲区溢出，`stack_string` 将自己的数据写在了程序中的其他地方。在我们的案例中，这还没有造成问题，但它会使你的程序崩溃，或者更糟糕的是，使你面临非常糟糕的安全问题。
|
||
|
||
例如，假设 `stack_string` 在内存里的位置刚好在 `heap_string` 之前。那我们就可能覆盖 `heap_string` 所指向的地址。我并不确定 `stack_string` 之后的内存里有一些什么。但我们也许可以用它来做一些诡异的事情。
|
||
|
||
### 确实检测到了有缓存区溢出
|
||
|
||
当我故意写很多字符的时候：
|
||
|
||
```
|
||
./test
|
||
Enter a string for the stack: 01234567891324143
|
||
Enter a string for the heap: adsf
|
||
Stack string is: 01234567891324143
|
||
Heap string is: adsf
|
||
x is: 10
|
||
*** stack smashing detected ***: terminated
|
||
fish: Job 1, './test' terminated by signal SIGABRT (Abort)
|
||
```
|
||
|
||
这里我猜是 `stack_string` 已经到达了这个函数栈的底部，因此额外的字符将会被写在另一块内存中。
|
||
|
||
当你故意去使用这个安全漏洞时，它被称为“堆栈粉碎”，而且不知何故有东西在检测这种情况的发生。
|
||
|
||
我也觉得这很有趣，虽然程序被杀死了，但是当缓冲区溢出发生时它不会立即被杀死——在缓冲区溢出之后再运行几行代码，程序才会被杀死。 好奇怪！
|
||
|
||
这些就是关于缓存区溢出的所有内容。
|
||
|
||
### 现在我们来看一下 `heap_string`
|
||
|
||
我们仍然将 `bananas` 输入到 `heap_string` 变量中。让我们来看一下内存中的样子。
|
||
|
||
这是在我们读取了字符串以后，`heap_string` 在栈空间上的样子：
|
||
|
||
```
|
||
(gdb) x/40x $sp
|
||
0x7fffffffe270: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||
0x7fffffffe278: 0x50 0x52 0x55 0x55 0x0a 0x00 0x00 0x00
|
||
0x7fffffffe280: 0xa0 0x92 0x55 0x55 0x55 0x55 0x00 0x00
|
||
0x7fffffffe288: 0x70 0x50 0x55 0x55 0x55 0x55 0x31 0x32
|
||
0x7fffffffe290: 0x33 0x34 0x35 0x36 0x37 0x38 0x39 0x30
|
||
```
|
||
|
||
需要注意的是，这里的值是一个地址。并且这个地址并没有改变，但是我们来看一下指向的内存上的内容。
|
||
|
||
```
|
||
(gdb) x/10x 0x5555555592a0
|
||
0x5555555592a0: 0x62 0x61 0x6e 0x61 0x6e 0x61 0x73 0x00
|
||
0x5555555592a8: 0x00 0x00
|
||
```
|
||
|
||
看到了吗，这就是字符串 `bananas` 的字节表示。这些字节并不在栈空间上。他们存在于内存中的堆上。
|
||
|
||
### 堆和栈到底在哪里？
|
||
|
||
我们已经讨论过栈和堆是不同的内存区域，但是你怎么知道它们在内存中的位置呢？
|
||
|
||
每个进程都有一个名为 `/proc/$PID/maps` 的文件，它显示了每个进程的内存映射。 在这里你可以看到其中的栈和堆。
|
||
|
||
```
|
||
$ cat /proc/24963/maps
|
||
... lots of stuff omitted ...
|
||
555555559000-55555557a000 rw-p 00000000 00:00 0 [heap]
|
||
... lots of stuff omitted ...
|
||
7ffffffde000-7ffffffff000 rw-p 00000000 00:00 0 [stack]
|
||
```
|
||
|
||
需要注意的一件事是，这里堆地址以 `0x5555` 开头，栈地址以 `0x7fffff` 开头。 所以很容易区分栈上的地址和堆上的地址之间的区别。
|
||
|
||
### 像这样使用 gdb 真的很有帮助
|
||
|
||
这有点像旋风之旅，虽然我没有解释所有内容，但希望看到数据在内存中的实际情况可以使你更清楚地了解堆栈的实际情况。
|
||
|
||
我真的建议像这样来把玩一下 gdb —— 即使你不理解你在内存中看到的每一件事，我发现实际上像这样看到我程序内存中的数据会使抽象的概念，比如“栈”和“堆”和“指针”更容易理解。
|
||
|
||
### 更多练习
|
||
|
||
一些关于思考栈的后续练习的想法（没有特定的顺序）：
|
||
|
||
* 尝试将另一个函数添加到 `test.c` 并在该函数的开头创建一个断点，看看是否可以从 `main` 中找到堆栈！ 他们说当你调用一个函数时“堆栈会变小”，你能在 gdb 中看到这种情况吗？
|
||
* 从函数返回一个指向栈上字符串的指针，看看哪里出了问题。 为什么返回指向栈上字符串的指针是不好的？
|
||
* 尝试在 C 中引起堆栈溢出，并尝试通过在 gdb 中查看堆栈溢出来准确理解会发生什么！
|
||
* 查看 Rust 程序中的堆栈并尝试找到变量！
|
||
* 在 [噩梦课程][1] 中尝试一些缓冲区溢出挑战。每个问题的答案写在 README 文件中，因此如果你不想被宠坏，请避免先去看答案。 所有这些挑战的想法是给你一个二进制文件，你需要弄清楚如何导致缓冲区溢出以使其打印出 `flag` 字符串。
|
||
|
||
--------------------------------------------------------------------------------
|
||
|
||
via: https://jvns.ca/blog/2021/05/17/how-to-look-at-the-stack-in-gdb/
|
||
|
||
作者：[Julia Evans][a]
|
||
选题：[lujun9972][b]
|
||
译者：[amwps290](https://github.com/amwps290)
|
||
校对：[wxy](https://github.com/wxy)
|
||
|
||
本文由 [LCTT](https://github.com/LCTT/TranslateProject) 原创编译，[Linux中国](https://linux.cn/) 荣誉推出
|
||
|
||
[a]: https://jvns.ca/
|
||
[b]: https://github.com/lujun9972
|
||
[1]: https://github.com/guyinatuxedo/nightmare
|