int fun(int a, int b) {
a = 0x4455;
b = 0x6677;
return a + b;
}
int main() {
fun(0x8899,0x1100);
return 0;
}
主函数调用fun()函数时的汇编代码：
1:00401078 push 1100h //函数fun()的参数入栈
2:0040107D push 8899h //函数fun()的参数入栈
3:00401082 call @ILT+5(fun) (0040100a) //fun()函数调用--------|
5:00401087 add esp,8 //释放堆栈 |
|
|
|
---------------------------------------------------------------------|
|
|
\|/
函数fun()运行时的汇编代码：
ebp是函数的入口指针，因此要入栈保存，等待函数结束时返回。
4:
00401000 push ebp //将ebp值入栈，将ebp作为访问参数的基值
00401001 mov ebp,esp //将栈顶指针放入ebp，作为基址
.............
.............
a = 0x4455//c语言代码，汇编代码在下一行
00401018 mov dword ptr [ebp+8],4455h //本地变量初始化，对栈操作
b = 0x6677//c语言代码，汇编代码在下一行
0040101F mov dword ptr [ebp+0Ch],6677h //本地变量初始化，对栈操作
return a + b//c语言代码，汇编代码在下两行
00401026 mov eax,dword ptr [ebp+8] //将a的值移入eax寄存器中
00401029 add eax,dword ptr [ebp+0Ch] //a加b
.............
.............
0040102F mov esp,ebp //将栈顶指针放回esp
00401031 pop ebp //弹出ebp
00401032 ret //返回
注：在开始处将esp放入ebp是因为esp是个经常变化的值。一旦，函数里出现pop或push他就会变化。这样很不容易定位参数的于内存中的位置。因此，我们需要一个不会变化的东西作为访问参数的基准。因此此处ebp值不变，始终指向刚开始的堆栈顶，而esp则随着压栈和出栈而指向新的栈顶。
/-------------------\ 内存高地址
| 参数2: 0x1100h |
+-----------------+ ebp+0ch
| 参数1: 0x8899h |
+-----------------+ ebp+08h
| 函数返回地址 |
| 0x00401087 | 第三行汇编码的call语句会自动将函数返回地址压栈
+-----------------+ ebp+04h
| ebp副本 |
\-------------------/ 内存低地址 <== 栈顶 ebp
ebp和函数返回值也是32位，所以占4个字节。
call把它下一条语句的地址(eip)push进了堆栈。因为函数调用完了，要用ret返回。而ret怎么知道返回哪里呢？因为ret指令pop了call指令push给他的地址，然后返回到了这个地址(将 该地址放到eip中)。因此call有个隐式的push操作，ret有个隐式的pop操作。