关于C语言的函数调用过程和数组越界

关于C语言的函数调用过程和数组越界

 

 

#include <stdio.h> int main() { int a[10]; a[0] = 1; a[9] = 4; //a[10] = 1; //a[10] = 1245060; return 0; }

 

上面的运行结果是打印出1, 并且可以正常退出

 

汇编代码:

 

 

esp是栈指针 指向栈顶,对应的是低地址

ebp是帧指针 指向栈底,对应的是高地址

 

 

0040F6A0 push ebp 0040F6A1 mov ebp,esp 0040F6A3 sub esp,68h 0040F6A6 push ebx 0040F6A7 push esi 0040F6A8 push edi 0040F6A9 lea edi,[ebp-68h] 0040F6AC mov ecx,1Ah 0040F6B1 mov eax,0CCCCCCCCh 0040F6B6 rep stos dword ptr [edi] 5: int a[10]; 6: 7: a[0] = 1; 0040F6B8 mov dword ptr [ebp-28h],1 8: a[9] = 4; 0040F6BF mov dword ptr [ebp-4],4 9: //a[10] = 1; 10: //a[10] = 1245060; 11: return 0; 0040F6C6 xor eax,eax 12: } 0040F6C8 pop edi 0040F6C9 pop esi 0040F6CA pop ebx 0040F6CB mov esp,ebp 0040F6CD pop ebp 0040F6CE ret  

 

 

 

 

从汇编代码可以看出,调用main函数时,首先保存帧指针,即push ebp;

然后把新的ebp设为当前的栈指针esp, 即 mov ebp,esp;

而后,为main函数开辟栈空间, 即sub esp,6CH;

之后是main函数的参数压栈,可以看出,他是在低地址的参数构造区域;

然后,可以看到,最先定义的b,是在保存有ebp的高地址紧跟的地方,即mov dword ptr [ebp-4],2;

而后是定义的数组int a[10];  数组是按下标从低地址到高地址的,所以a[9]是mov dword ptr [ebp-8],4;

于是,当a[10]=1时,更改的是b的值.于是之后打印的是1,而不是2;

同理a[11] =1 改变的是ebp的值,这会导致,最好pop ebp后ebp的值出现错误!

如果是a[11] = 1245060就是ebp的值,这个是提前知道的,于是这样也不会出错.