字节数(十进制)作后缀(参数的个数乘以4)。WINAPI CALLBACK APIENTRY PASCAL 都是__stdcall的宏定义,而__pascal是一个废弃的关键词。
举例:
int __stdcall Add(int a, int b)
{
return (a + b);
}
函数的调用:
push 2
push 1
call _Add@8 ;这里使用了连接时使用的函数名
函数体:
;和__cdecl一样,最后一行如下:
ret 8 ;清栈
3、This调用约定
用于C++中的非静态类成员函数,它只能被编译器使用,没有相应的关键字。在Intel IA32架构下,此调用约定跟PASCAL语言调用约定相同,只是另外通过ECX寄存器传送一个额外的参数—this指针。在函数中清理栈,不能在C中使用,没有C的换名规则,所以说类的非静态成员函数不能作为回调函数。
举例:
struct CSum
{
int Add(int a, int b)
{
return (a + b);
}
};
函数调用:
CSum sum;
sum.Add(1, 2);
push 2
push 1
lea ecx,[ebp-4] ;ecx存放了this指针
call ?Add@CSum@@QAEHHH@Z ;当重复定义一个类成员函数时,可以在输出框中得到该名字
函数体:
push ebp
mov ebp,esp
sub esp,44h ;多用了一个4bytes的空间用于存放this指针push ebx
push esi
push edi
push ecx
lea edi,[ebp-44h]
mov ecx,11h
mov eax,0CCCCCCCCh
rep stos dword ptr [edi]
pop ecx
mov dword ptr [ebp-4],ecx
return (a + b);
mov eax,dword ptr [ebp+8]
add eax,dword ptr [ebp+0Ch]
pop edi
pop esi
pop ebx
mov esp,ebp
pop ebp
ret 8 ;清栈
4、快速调用约定
这种调用约定用于对性能要求非常高的场合,关键字是__fastcall。它要求将参数放在寄存器中,以提高速度。在Intel IA32架构下,此调用约定将函数最左边两个大小小于4个字节(DWORD的大小)的参数放在ECX和EDX寄存器,其余规定同Pascal调用约定。生成的代码中函数名有一个@做前缀和一个@加上参数
总字节数(十进制)作后缀。
举例:
int __fastcall Add(int a, int b, int c)
{
return (a + b + c);
}
函数的调用:
Add(1, 2, 3);
push 3
mov edx, 2
mov ecx, 1
call @Add@8 ;这里使用了连接时使用的函数名
函数体:
push ebp
mov ebp,esp
sub esp,48h ;多使用了两个变量在[ebp-4]、[ebp-8]
push ebx
push esi
push edi
push ecx
lea edi,[ebp-48h]
mov ecx,12h
mov eax,0CCCCCCCCh
rep stos dword ptr [edi]
pop ecx
mov dword ptr [ebp-8],edx ;还是将edx,ecx的内容放在
mov dword ptr [ebp-4],ecx ;栈中似乎并没有提高速度
return (a + b + c);
mov eax,dword ptr [ebp-4]
add eax,dword ptr [ebp-8]
add eax,dword ptr [ebp+8]
pop edi
pop esi
pop ebx
mov esp,ebp
pop ebp
ret 4 ;清栈
5、裸调用约定
当嵌入式汇编程序员需要手工控制调用约定的时候,使用这种方法。它没有相应的关键字,但是有一个__declspec(naked)用来指定这种调用约定。它不能用于函数声明,只能用于函数定义,也就是说,它只能让编译器不要生成函数体中的堆栈管理代码,但是调用函数者依然需要前面的某种调用约定来生成调用函数的代码。此协定本人没用过,希望有高手补充。
本文参考:
90a94a3143323968011c9265/cpp/calling_conventions_demystified.asp
以及CSDN上众多网友的回答。
本文来自CSDN博客,转载请标明出处:90a94a3143323968011c9265/fengzi_zhu/archive/2003/05/01/14338.aspx
关于栈在函数调用中的作用收藏
环境:VC++6.0
用 C 语言写的函数,在调用时是怎么调用的,以前老说是通过栈实现的,但到底是怎么实现的,今天才搞清楚。
函数:
int fun(int x, int y)
{
int a;
char b;
a = 0;
b = 'c';
return 0;
}
void main()
{
fun(2,3);
}
反汇编后代码如下并逐行解释:
fun() 函数:
1: int fun(int x, int y)
2: {
00401020 push ebp//把调用函数的栈帧地址进栈保护起来,寄存器EBP是用来保存当前执行函数的栈帧地址的,也就是当前函数控制栈的地址
00401021 mov ebp,esp//把栈顶地址放入EBP,也就是说现在进入了函数fun的控制栈
00401023 sub esp,48h// 给ESP减48H,即在栈中从EBP的地址向低地址方向空出48B的空间,这48H的空间用来存放函数fun的局部变量,因为有两个局部变量int a和char b,所以空出了8B的空间(如果函数中没有局部变量,则ESP应减去40H,这个40H 是VC++6.0的特点,各个编译器对此的处理都不同),一个int占4B,一个char也占4B(这是传说中的对齐),所以最后ESP要减去48H
00401026 push ebx//下面这三句没什么好说的,就是保护寄存器
00401027 push esi
00401028 push edi
00401029 lea edi,[ebp-48h]//把刚才栈中空出来的48B的有效地址加载到EDI中,一会儿初始化这段内存
0040102C mov ecx,12h//设定一会儿rep循环的次数为12H次
00401031 mov eax,0CCCCCCCCh//给EAX赋初值,0CCCCCCCCH表示该处内存无效
00401036 rep stos dword ptr [edi]//把那48B的空间的初值赋为全0CH
3: int a;
4: char b;
5: a = 0;
00401038 mov dword ptr [ebp-4],0//给局部变量a赋初值,在这儿可以看到a的地址是EBP-4,也就是EBP下面紧跟着的4B,也就是刚才48B中最高的4B
6: b = 'c';
0040103F mov byte ptr [ebp-8],63h//给局部变量b赋初值,b应该只有1B,所以在此指明了是byte ptr,但b占用的地址却是从EBP-8到EBP-5,而从EBP-7到EBP-5因为对齐(为了提高I/O效率),所以是没有用的
7: return 0;
00401043 xor eax,eax//返回值是在EAX中保存的,因为return 0所以这句把EAX 清0
8: }
00401045 pop edi//到此函数执行完,下面三句恢复刚才保护的寄存器的值00401046 pop esi
00401047 pop ebx
00401048 mov esp,ebp//清除局部变量的空间
0040104A pop ebp//恢复调用函数的栈帧地址
0040104B ret//恢复IP的内容
main() 函数:
10: void main()
11: {
00401050 push ebp
00401051 mov ebp,esp
00401053 sub esp,40h
00401056 push ebx
00401057 push esi
00401058 push edi
00401059 lea edi,[ebp-40h]//因为没有局部变量,所以为40H
0040105C mov ecx,10h
00401061 mov eax,0CCCCCCCCh
00401066 rep stos dword ptr [edi]
12: fun(2,3);
00401068 push 3//参数进栈,这是C语言调用约定的函数,参数从右往左进栈,并且用户自己把函数弹栈(00401071句干的就是参数弹栈的事儿)
0040106A push 2//参数进栈
0040106C call @ILT+5(fun) (0040100a)//把当前的IP进栈,并转向对fun的执行00401071 add esp,8//参数弹栈
13: }
00401074 pop edi
00401075 pop esi
00401076 pop ebx
00401077 add esp,40h
0040107A cmp ebp,esp
0040107C call __chkesp (004010a0)
00401081 mov esp,ebp
00401083 pop ebp
00401084 ret
由此可以看出函数调用到底是如何实现的。
我们可以看到参数都在EBP的正偏移处,而局部变量都在EBP的负偏移处,知道了这些也就理解了函数调用是如何实现的,同时我们也可以知道,如果fun函数中有一个局部的数组char c[256];这个数组的初始地址必然为EBP-4-4-256,而如果我们在操作数组越界而没有检查数组的边界时,我们会覆盖掉a的值和b的值,甚至上层函数的EBP的值,当然也有可能是返回地址的值。而如果我们可以计算的到某一个函数中缓冲区的起始地址,而这个函数没有对缓冲区边界的保护措施,我们就可以利用下标越界的方法来改变栈中保存的返回地址的值,让它等于我想要的地址,这样,在这个函数执行完时,就会跳转到我们的函数而不是调用它的函数了。
本文来自CSDN博客,转载请标明出处:90a94a3143323968011c9265/mm350670610/archive/2010/04/30/5542836.aspx

