Linux栈帧
相关寄存器&指令
寄存器
rax（accumulator）：return value
rbx（base）
rcx（count）：4st argument
rdx（data）：3st argument
rsi（source index）：2st argument
rdi（destination index）：1st argument
rbp（base pointer）
rsp（stack pointer）
r8：5st argument
r9：6st argument
r10-r15
rip（instruction pointer）
rflags
传参顺序
前6个参数使用rdi、rsi、rdx、rcx、r8、r9，第7个及以后参数使用栈
call指令
相当于执行以下指令：
push %rip
jmp
ret指令
相当于执行以下指令：
pop %rip
leave指令
相当于执行以下指令：
mov %rbp,%rsp
pop %rbp
nop指令
no operation，空指令
指令后缀
b（8位）
w（16位）
l（32位）
q（64位）
c代码
int g(int a, int b)
{return a + b;
}int f(int a, int b)
{return g(a, b);
}int main()
{f(1, 2);return 0;
}
编译&反汇编
gcc test.c -o test -g
objdump -dS test
c&汇编代码
00000000004004ed <g>:
int g(int a, int b)
{4004ed: 55 push %rbp4004ee: 48 89 e5 mov %rsp,%rbp4004f1: 89 7d fc mov %edi,-0x4(%rbp)4004f4: 89 75 f8 mov %esi,-0x8(%rbp)return a + b;4004f7: 8b 45 f8 mov -0x8(%rbp),%eax4004fa: 8b 55 fc mov -0x4(%rbp),%edx4004fd: 01 d0 add %edx,%eax
}4004ff: 5d pop %rbp400500: c3 retq0000000000400501 <f>:int f(int a, int b)
{400501: 55 push %rbp400502: 48 89 e5 mov %rsp,%rbp400505: 48 83 ec 08 sub $0x8,%rsp400509: 89 7d fc mov %edi,-0x4(%rbp)40050c: 89 75 f8 mov %esi,-0x8(%rbp)return g(a, b);40050f: 8b 55 f8 mov -0x8(%rbp),%edx400512: 8b 45 fc mov -0x4(%rbp),%eax400515: 89 d6 mov %edx,%esi400517: 89 c7 mov %eax,%edi400519: e8 cf ff ff ff callq 4004ed <g>
}40051e: c9 leaveq40051f: c3 retq0000000000400520 <main>:int main()
{400520: 55 push %rbp400521: 48 89 e5 mov %rsp,%rbpf(1, 2);400524: be 02 00 00 00 mov $0x2,%esi400529: bf 01 00 00 00 mov $0x1,%edi40052e: e8 ce ff ff ff callq 400501 <f>return 0;400533: b8 00 00 00 00 mov $0x0,%eax
}400538: 5d pop %rbp400539: c3 retq40053a: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1)
栈帧变化过程
不同颜色代表不同函数的栈帧，从上到下依次是__libc_start_main、main、f、g的栈帧
下一级函数的rbp指向上一级函数的rbp
