汇编看C函数调用

时间：2015-08-15 13:31:28 阅读：160 评论：0 收藏：0 [点我收藏+]

标签：

http://blog.csdn.net/wishfly/article/details/5022008

简单的函数调用，通过简单的函数调用反汇编可以清楚了解如下

1.栈到底是什么，如何操纵栈的？

2.参数和临时变量是以什么形式在哪存放？

3.如何传递返回值？

测试代码如下(这是一个简单的通过调用函数计算两数之和的程序)：

 C++ Code 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include <stdio.h>

int add(int a, int b)
{
  int c = 0;
    c = a + b;
  return c;
}

int main(void)
{
  int x = 0;
  int y = 3;
  int z = 4;
    x = add(y, z);
  return 0;
}

解释如下

 ASM Code 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

add函数
{
;ebp=1000,esp=900
    0040D750   push        ebp

;把main函数的ebp压栈，ebp=1000,esp=896
    0040D751   mov         ebp, esp

;得到“新”栈基址，这里的新的意思是每个函数访问属于自己的一块栈区域，其实是相邻的内存区域，或者说栈只有一个
    ;ebp=896，esp=896
    0040D753   sub         esp, 44h

;ebp=896，esp=828
    0040D756   push        ebx
    0040D757   push        esi
    0040D758   push        edi

;ebp=896，esp=816
    0040D759   lea         edi, [ebp - 44h]
    0040D75C   mov         ecx, 11h
    0040D761   mov         eax, 0CCCCCCCCh
    0040D766   rep stos    dword ptr [edi]

;初始化内部变量区
5:  int c = 0;
    0040D768   mov         dword ptr [ebp - 4], 0

;c放入“新”栈基址
    ;因为“新”栈基地址就是“旧”栈顶地址，所以通过ebp访问传过来的参数
    ;ebp+8到ebp+c是因为ebp上方的8字节用于存储调用函数的调用地址和“旧”堆栈基地址了
    ;ebp-4则位于新栈中
6:  c = a + b;
    0040D76F   mov         eax, dword ptr [ebp + 8]
    0040D772   add         eax, dword ptr [ebp + 0Ch]

;运算结果放入c中
    0040D775   mov         dword ptr [ebp - 4], eax

;用寄存器eax返回结果
7:  return c;
    0040D778   mov         eax, dword ptr [ebp - 4]

;恢复寄存器的值，ebp=896，esp=828
8:  }
0040D77B   pop         edi
0040D77C   pop         esi
0040D77D   pop         ebx

;恢复“旧”栈顶地址，ebp=896，esp=896，此函数堆栈被释放！
0040D77E   mov         esp, ebp

;恢复“旧”栈基地址，ebp=1000，esp=900，此时恢复到调用前的栈基地址和顶地址
0040D780   pop         ebp

;返回调用点，ebp=1000,esp=904,调用点地址被弹出，返回到调用点
0040D781   ret

main函数

{
;用栈顶地址作为栈基地址，目的是不和调用前栈空间冲突
    ;为了叙述方便假设原 ebp=1004，esp=1004
    ;执行完下面两行汇编语句后 ebp=1000，esp=1000
    0040D790   push        ebp
    0040D791   mov         ebp, esp

;esp下移，开辟出0x4C字节的空间，这个空间是留给内部参数用的，这个空间的大小随内部变量多少由编译器决定。
    ;ebp=1000，esp=1000-0x4C=924
    0040D793   sub         esp, 4Ch

;保存 ebx，esi，edi的值,ebp=1000，esp=924-12=912
    0040D796   push        ebx
    0040D797   push        esi
    0040D798   push        edi

;把内部参数占用的空间每个字节都初始化为0xCC，这个是为了在DUBUG程序的方便，编译器加入的
    ;如果不在DEBUG状态下，这个区域是没有被初始化的，也就是说是随机值。
    0040D799   lea         edi, [ebp - 4Ch]
    0040D79C   mov         ecx, 13h
    0040D7A1   mov         eax, 0CCCCCCCCh

    0040D7A6   rep stos    dword ptr [edi]

;内部变量放入刚才被初始化为0xCC的内部变量区，x占用四字节在地址9996-9999，y，z一次类推
12: int x = 0;
    0040D7A8   mov         dword ptr [ebp - 4], 0
13: int y = 3;
    0040D7AF   mov         dword ptr [ebp - 8], 3
14: int z = 4;
    0040D7B6   mov         dword ptr [ebp - 0Ch], 4

;把参数按照stdcall方式从右到左压栈，ebp=1000，esp=912-8=904，z首先入栈在908-911，y在904-907
15: x = add(y, z);
    0040D7BD   mov         eax, dword ptr [ebp - 0Ch]
    0040D7C0   push        eax
    0040D7C1   mov         ecx, dword ptr [ebp - 8]
    0040D7C4   push        ecx

;把返回下一行代码即 0040D7CA [add esp,8] 的地址压栈
    ;转向add函数，ebp=1000，esp=900，看add函数
    0040D7C5   call        @ILT + 15(_add) (00401014)

;ebp=1000，esp=912，恢复到压入参数前栈基地址和顶地址，这个步骤叫做堆栈修正
    0040D7CA   add         esp, 8

;返回的变量放到x中
    0040D7CD   mov         dword ptr [ebp - 4], eax

16: return 0;
17: }

main函数堆栈变化示意图：