这几天学习汇编,分析了一下 c++ 中函数调用(cdecl 和 fastcall 方式)过程的汇编码,记录如下:
程序例子
long funtest1(tagTest p1,int p2,LPCTSTR lpszP3)
return 300;
long __stdcall funtest2(tagTest p1,int p2,LPCTSTR lpszP3)
return 300;
1、普通调用(cdecl)。
调用方 C++ 代码:
生成的汇编码:
long ixx = 0;
0104171E mov dword ptr [ixx],0
tagTest tag1={34,6,87};
01041738 mov dword ptr [tag1],22h ; 成员赋值
0104173F mov dword ptr [ebp-10h],6 ; 成员赋值
01041746 mov dword ptr [ebp-0Ch],57h ; 成员赋值
ixx = funtest1(tag1,i2,"asdffffffdddddd");
0104174D push offset CAnonymousAsmTestApp::`vftable'+0F4h (11E60B0h) ; 入栈参数
; "asdffffffdddddd" 的地址。这里显示似乎有问题(实际地址是对的)
01041752 mov edx,dword ptr [i2]
01041755 push edx ; 入栈参数 i2
01041756 sub esp,0Ch ; 在栈中分配参数 tag1 的空间
01041759 mov eax,esp
0104175B mov ecx,dword ptr [tag1]
0104175E mov dword ptr [eax],ecx ; 入栈 tag1.n1
01041760 mov edx,dword ptr [ebp-10h]
01041763 mov dword ptr [eax+4],edx ; 入栈 tag1.n2
01041766 mov ecx,dword ptr [ebp-0Ch]
01041769 mov dword ptr [eax+8],ecx ; 入栈 tag1.n3
0104176C call funtest1 (1041680h) ; 调用函数。
;注意:这里同时将返回地址(下条指令的地址) 也入栈(这里是4字节);
; 所以,函数中取得参数时,需要从当前 ESP 中加上 4 字节!
01041771 add esp,14h ; 由调用者清参数栈
01041774 mov dword ptr [ixx],eax ; 获取返回值
调用方代码总结:
-
参数从右向左依次入栈。
-
栈指针(ESP)从底部向顶部依次减小。也就是说,栈顶地址小;栈底地址大。
- 如果参数是结构(struct),则直接移动栈顶指针,预留出结构的大小;然后用 mov 指令逐步将成员拷贝到预留出来的栈空间!
-
call 指令调用目标地址
-
调用方清栈
-
获得返回值
函数中生成的汇编码
{
00351680 push ebp ; 基址指针入栈
00351681 mov ebp,esp ; 将函数入口点的栈指针作为当前基址指针。
;顾名思义,基址指针就是进入函数时的栈顶指针!
00351683 push ecx ; 在栈中分配局部变量空间。
;ecx 中的值无关紧要,只是预留一个 4 字节空间而已
p1.n1 = 3;
00351684 mov dword ptr [p1],3 ; 赋值
LPCTSTR lpszxx = lpszP3;
0035168B mov eax,dword ptr [lpszP3] ; [lpszP3] 地址应该就是 ebp - 4
0035168E mov dword ptr [lpszxx],eax ; 赋值(通过 eax)
p1.n3 = p2;
00351691 mov ecx,dword ptr [p2]
00351694 mov dword ptr [ebp+10h],ecx ; 赋值(通过 ecx)
return 300;
00351697 mov eax,12Ch ; 返回值放在 eax
}
0035169C mov esp,ebp ; 恢复栈:清除局部变量
0035169E pop ebp ; 恢复基址指针
0035169F ret ; 返回(从栈中弹出返回地址,然后 jmp )
2、_stdcall调用。
调用方 C++ 代码:
int i2=3;
long ixx = 0;
tagTest tag1={34,6,87};
ixx = funtest2(tag1,i2,"asdffffffdddddd");
int i2=3;
010A1759 mov dword ptr [i2],3
long ixx = 0;
010A1760 mov dword ptr [ixx],0
tagTest tag1={34,6,87};
010A1767 mov dword ptr [tag1],22h
010A176E mov dword ptr [ebp-0Ch],6
010A1775 mov dword ptr [ebp-8],57h
ixx = funtest2(tag1,i2,"asdffffffdddddd");
010A177C push offset CAnonymousAsmTestApp::`vftable'+104h (12460C0h) ; 入栈参数
; "asdffffffdddddd" 的地址。这里显示似乎有问题(实际地址是对的)
; 和 cdecl 一样,参数从右边开始入栈
010A1781 mov eax,dword ptr [i2]
010A1784 push eax
010A1785 sub esp,0Ch
010A1788 mov ecx,esp
010A178A mov edx,dword ptr [tag1]
010A178D mov dword ptr [ecx],edx
010A178F mov eax,dword ptr [ebp-0Ch]
010A1792 mov dword ptr [ecx+4],eax
010A1795 mov edx,dword ptr [ebp-8]
010A1798 mov dword ptr [ecx+8],edx
010A179B call funtest2 (10A16B0h)
010A17A0 mov dword ptr [ixx],eax ; 取得返回值。
; 注意:这里没有清栈的代码,由函数自己清栈!
调用方代码总结:
-
参数从右向左依次入栈。
-
栈指针(ESP)从底部向顶部依次减小。也就是说,栈顶地址小;栈底地址大。
- 如果参数是结构(struct),则直接移动栈顶指针,预留出结构的大小;然后用 mov 指令逐步将成员拷贝到预留出来的栈空间!
-
call 指令调用目标地址
-
返回时,由函数自己清栈(通过 ret 指令)
-
获得返回值
函数中生成的汇编码
long __stdcall funtest2(tagTest p1,int p2,LPCTSTR lpszP3)
{
010A16B0 push ebp
010A16B1 mov ebp,esp
010A16B3 push ecx
p1.n1 = 3;
010A16BD mov dword ptr [p1],3
LPCTSTR lpszxx = lpszP3;
010A16C4 mov eax,dword ptr [lpszP3]
010A16C7 mov dword ptr [lpszxx],eax
p1.n3 = p2;
010A16CA mov ecx,dword ptr [p2]
010A16CD mov dword ptr [ebp+10h],ecx
return 300;
010A16D0 mov eax,12Ch
}
010A16D5 mov esp,ebp
010A16D7 pop ebp
010A16D8 ret 14h ; 返回并清栈。
;(从栈中弹出返回地址,返回;然后ESP增加14H,14H为参数栈的字节数)