C程序运行时内存结构分析.docx

C程序运行时内存结构分析时间：2015-11-24 22:25?点击：37次实验知识静态变量存储在静态存储区，局部变量存储在动态存储区（栈），代码存放在代码区寄存器，EBP指向栈底，ESP指向栈顶，EIP指向正在执行指令的下一条指令，三个寄存器中保存的都是地址，32位系统，地址为4个字节即dword所有写在函数定义里面的语句都编译成指令（驱动CPU）实验代码#include stdio.hint?fun(int?a,?int?b);int?m = 10;int?main(){?int?i = 4;?int?j = 5;?m = fun(i, j);}int?fun(int?a,?int?b){?int?c = 0;?c = a + b;?return?c;}这段代码包含两个函数，因此可以测试函数调用，此外还包含了静态变量、局部变量、返回值等实验测试测试工具：VC6.0源代码及对应的汇编如下寄存器及内存状态如下EBP栈顶初始值为0018FF84h，ESP初始为0018FF48hESP和EBP在栈中的作用在每个函数最开始的地方有两条语句push ebpmov ebp,esp在函数返回前也有两条语句mov esp,ebppop ebp每运行一个函数就新开一段栈空间，所谓的开栈空间就是移动ebp栈底，在移动ebp之前，通过push ebp保存上一级函数的栈底，然后用ebp指向现在函数栈的栈顶，即为当前函数开辟了栈；接着给局部变量进行地址分配以及保存现场等，esp不断向低地址移动，当函数调用结束时，esp指回当前函数的栈顶(mov esp,ebp)，然后上一级函数的栈顶地址出栈保存在ebp中（pop ebp）。因此，每一个函数的栈顶上面都保存着上一级函数的栈顶地址，用于当前函数结束时能够返回上一级函数的栈，通过ebp和esp以及压栈出栈操作对栈进行维护。逐条分析main函数对应的汇编代码如下7:?int?main()8:??? ? push??????? ebp?// ebp初始为0018FF84h压栈，压栈后esp = 0018FF48h - 4 = 0018FF44? mov???????? ebp,esp?// ebp保存栈顶0，ebp=esp=0018FF44? sub???????? esp,48h?// esp -= 48h开辟了一段栈空间，留待后面保存局部变量，此时esp=0018FF44h-48h=0018FEFC? push??????? eb? push??????? es? push??????? edi?// ebx、esi和edi压栈，esp = 0018FEFCh - 4*3 = 0018FEF0? lea???????? edi,[ebp-48h]?// lea指令将ebp-48h作为偏移地址保存在edi中，edi=0018FEFCh，即栈中ebx的上面0040102C?? mov???????? ecx,12? mov???????? eax,0CCCCCCCC? rep stos??? dword ptr [edi]?// 将eax重复保存在以edi开始的栈空间里，重复次数为ecx次，向高地址方向，共覆盖12h*4=48h个地址，即栈中保存ebx的地址以上到ebp指向的地址这一段全部填充为cch9:?int?i = 4? mov???????? dword ptr [ebp-4],4?// 保存变量i10:?int?j = 5;0040103F?? mov???????? dword ptr [ebp-8],5?// 保存变量j11:?????? m = fun(i, j)? mov???????? eax,dword ptr [ebp-8]?// 将j保存在eax? push??????? eax?// eax压栈, esp=0018FEF0h-4=0018FEECh0040104A?? mov???????? ecx,dword ptr [ebp-4]?// 将i保存在ecx中0040104D?? push??????? ecx?// ecx压栈，esp=0018FEECh-4=0018FEE8h0040104E?? call??????? @ILT+0(_fun) ?// 以上实际上是为形参分配内存，顺序从右到左，此步进行函数跳? add???????? esp,8?// 形参的地址回收,esp=0018FEE8h+8=