高级语言的一段汇编代码分析

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操作。

阅读更多
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

不良信息举报

高级语言的一段汇编代码分析

最多只允许输入30个字

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭