详细了解调用栈以及栈帧,对于理解程序的行为非常重要。
本文以x86 程序默认的 cdecl 调用方式为例,通过一幅图帮助理解函数调用栈的详细布局。
常规的调用栈如下图所示:
对于调用栈的理解可以结合下面程序以及相应汇编。
原始程序
以如下一段程序为例:
int fun(int i, int j);
int callee(int i, int j)
{
int a = i, b = j;
return fun(a, b);
}
int caller(void)
{
return callee(1, 2);
}
汇编代码
汇编语言的生产使用 Compiler Explorer , 版本选择 x86-64 gcc 11.1, 参数为 -m32
得到如下的汇编:
callee:
pushl %ebp
movl %esp, %ebp
subl $24, %esp
movl 8(%ebp), %eax
movl %eax, -12(%ebp)
movl 12(%ebp), %eax
movl %eax, -16(%ebp)
subl $8, %esp
pushl -16(%ebp)
pushl -12(%ebp)
call fun
addl $16, %esp
leave
ret
caller:
pushl %ebp
movl %esp, %ebp
subl $8, %esp
subl $8, %esp
pushl $2
pushl $1
call callee
addl $16, %esp
leave
ret