基础理论
我在测试时所用的几个命令：
1
| gcc -Og -S test.c -o a.s
|
有这样一段代码，此代码命名为 c.s:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| .text
.section .rodata.str1.1,"aMS",@progbits,1
.LC0:
.string "Hello, world!2.0"
.text
.globl main
.type main, @function
main:
.LFB14:
subq $8, %rsp
leaq .LC0(%rip), %rdi
call puts@PLT
addq $8, %rsp
ret
.LFE14:
.size main, .-main
|
经过测试，手写的汇编代码必须带上 .section .rodata.str1.1,"aMS",@progbits,1 及上面所示的 lable，才能让objtool生成 ORC 数据。
生成目标文件，将其重定向为 c.o 文件：
使用objdump命令反汇编查看地址：
1
2
3
4
5
6
7
8
9
10
11
12
13
| ❯ objdump -d c.o
c.o: file format elf64-x86-64
Disassembly of section .text:
0000000000000000 <main>:
0: 48 83 ec 08 sub $0x8,%rsp
4: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # b <main+0xb>
b: e8 00 00 00 00 call 10 <main+0x10>
10: 48 83 c4 08 add $0x8,%rsp
14: c3 ret
|
利用objtool生成 ORC 数据：
dump 一下 ORC 数据：
1
2
3
4
5
| ❯ ./objtool --dump c.o
.text+0:type:call sp:sp+8 bp:(und) signal:0
.text+4:type:call sp:sp+16 bp:(und) signal:0
.text+14:type:call sp:sp+8 bp:(und) signal:0
.text+15:type:(und) sp:(und) bp:(und) signal:0
|
修改c.s文件：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
| .text
.section .rodata.str1.1,"aMS",@progbits,1
.LC0:
.string "Hello, world!2.0"
.text
.globl main
.type main, @function
main:
.LFB14:
subq $8, %rsp
; 这里改变了
push %rbp
push %rbp
pop %rbp
pop %rbp
leaq .LC0(%rip), %rdi
call puts@PLT
addq $8, %rsp
ret
.LFE14:
.size main, .-main
|
重复上述操作。
as c.s -o c.o
./objtool --orc c.o
执行 objdump -d c.o
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
| ❯ objdump -d c.o
c.o: file format elf64-x86-64
Disassembly of section .text:
0000000000000000 <main>:
0: 48 83 ec 08 sub $0x8,%rsp
4: 55 push %rbp
5: 55 push %rbp
6: 5d pop %rbp
7: 5d pop %rbp
8: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # f <main+0xf>
f: e8 00 00 00 00 call 14 <main+0x14>
14: 48 83 c4 08 add $0x8,%rsp
18: c3 ret
|
执行 ./objtool --dump c.o, 输出：
1
2
3
4
5
6
7
8
9
| ❯ ./objtool --dump c.o
.text+0:type:call sp:sp+8 bp:(und) signal:0
.text+4:type:call sp:sp+16 bp:(und) signal:0
.text+5:type:call sp:sp+24 bp:prevsp-24 signal:0
.text+6:type:call sp:sp+32 bp:prevsp-24 signal:0
.text+7:type:call sp:sp+24 bp:prevsp-24 signal:0
.text+8:type:call sp:sp+16 bp:(und) signal:0
.text+18:type:call sp:sp+8 bp:(und) signal:0
.text+19:type:(und) sp:(und) bp:(und) signal:0
|
objdump 输出中新增了：
1
2
3
4
| 4: 55 push %rbp
5: 55 push %rbp
6: 5d pop %rbp
7: 5d pop %rbp
|
因为在c.s中新增了几次栈的push、pop 操作，将此次修改的输出结果与未修改前进行对比，可以发现 objtool 中的 ORC 数据多了以下四条：
1
2
3
4
| .text+5:type:call sp:sp+24 bp:prevsp-24 signal:0
.text+6:type:call sp:sp+32 bp:prevsp-24 signal:0
.text+7:type:call sp:sp+24 bp:prevsp-24 signal:0
.text+8:type:call sp:sp+16 bp:(und) signal:0
|
第一个 .text+0:type:call sp:sp+8 bp:(und) signal:0 似乎是由于 libc C runtime support code 原因，call 指令调用 main 函数时 %rsp 将指向栈顶，当执行 call 指令后，会将 8 byte 的返回地址压入栈中。
这个解释基于 C 语言，纯汇编中不知道如何处理。了解还是太少:(。是因为objtool的原因，会在函数入口把栈状态初始化成这样。
第二个 sp:sp+16 是 sub $0x8,%rsp 执行的结果。之后执行几次 push，栈指针 sp 就加几次。所以一直加到 32。
其中的 text + 5 表示 4 + 1 指令的地址 + 1。以第一个 push 为例，text+5 表示 objdump 中的 4: 55 push %rbp，这里的数字都是偏移量。
模拟栈的图：
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
| +--------------------------------------+
| |
| |
| 初始状态 |
| |
+--------------------------------------+ <--------------+ rbp
| |
| 返回地址 | <--------------+ sp:sp+8
| |
+--------------------------------------+ <--------------+ rsp
+--------------------------------------+
| |
| |
| 初始状态 |
| |
+--------------------------------------+ <--------------+ rbp
| |
| | <--------------+ sp:sp+8
| 返回地址 |
| |
+--------------------------------------+
| |
| sub $0x8,% rsp | <-------------+ sp:sp+16
| |
| |
+--------------------------------------+ <--------------+ rsp
+--------------------------------------+
| |
| |
| 初始状态 |
| |
+--------------------------------------+ <--------------+ rsp
| |
| | <--------------+ sp:sp+8
| 返回地址 |
| |
+--------------------------------------+
| |
| sub $0x8,% rsp | <-------------+ sp:sp+16
| |
| |
+--------------------------------------+ <--------------+ rbp
| |
| push % rbp | <-------------+ sp:sp+24
| |
+--------------------------------------+
|
基指针 bp:prevsp-24：初始化 8，sub 8, push rbp 三个加起来得出 24。
orc unwind 流程：
1
2
3
4
5
6
| +----------+ +------------+ +------------+ +------------+ +------------+
| | | | | | | | | |
| ELF file +---->+ 指令流 +---->+ 堆栈信息 +---->+ ORC段 +---->+ 运行时堆栈 |
+----------+ +------------+ +------------+ +------------+ +------------+
指令解析 指令检查 ORC生成 ORC推栈
decode check gfenerate unwinder
|
ELF 文件就是编译 C 程序时生成的可执行文件。ELF 文件以 ELF 头（ELF Header）开始，其中包含了关于文件本身的信息，如文件类型、体系结构、入口点地址等。紧接着是节头表（Section Header Table），它列出了 ELF 文件中的所有节（sections）。每个节都有自己的名称、大小和位置等属性。常见的节包括代码段（.text）、数据段（.data）和未初始化的数据段（.bss）等。然后是程序头表（Program Header Table），它描述了 ELF 文件在内存中的布局。每个程序头（Program Header）对应一个段（segment），它指示操作系统如何加载 ELF 文件的不同部分到内存中。例如，加载代码段、数据段和未初始化的数据段等。最后，ELF 文件的剩余部分是实际的代码和数据，它们根据 ELF 文件的布局被加载到内存中。
