通过反汇编一个简单的C程序,分析汇编代码理解计算机是如何工作的。
int g(int x)
{
return x + 3;
}
int f(int x)
{
return g(x);
}
int main(void)
{
return f(8) + 1;
}
main函数调用f函数,f函数调用g函数(main—>f—>g)
1、传递控制。在进入过程f(8)的时候,程序计数器必须被设置为f的代码的起始地址,然后在返回时,要把程序计数器设置为main中调用f后面那条指令的地址。
2、传递数据。main必须能够向f提供一个或者多个参数,f必须能向main返回一个值。
3、分配和释放内存。开始时,f可能需要为局部变量分配空间,而在返回前,又必须释放这些存储空间。
f调用g,同理
一个C过程大致结构如下:
一、准备阶段
-形成帧底:pushl和movl指令
-生成栈帧(如果需要的话):subl指令
-保存现场(如果有被调用者保存寄存器):movl指令
二、过程体
-分配局部变量,并赋值
-具体处理逻辑,如果遇到函数调用时
准备参数:将实参送栈帧入口参数处(x86-64先送寄存器)
CALL指令:保存返回值并转被调函数
-在EAX中准备返回参数
三、结束阶段
-退栈:leave指令
-取返回地址返回:ret指令
如图运行时栈帧:
通用的栈帧结构(栈用来传递参数、存储返回信息、保存寄存器,以及局部变量存储)