汇编 入栈出栈

PS:EBP是当前函数的存取指针,即存储或者读取数时的指针基地址;ESP就是当前函数的栈顶指针。每一次发生函数的调用(主函数调用子函数)时,在被调用函数初始时,都会把当前函数(主函数)的EBP压栈,以便从子函数返回到主函数时可以获取EBP。
下面是按调用约定__stdcall 调用函数test(int p1,int p2)的汇编代码
假设执行函数前堆栈指针ESP为0xAAAAAAA ;EBP为0xAAAAAB0
push   p2    ;参数2入栈, ESP -= 4h , ESP = 0xAAAAAAA - 4h =    0xAAAAAA6
push   p1    ;参数1入栈, ESP -= 4h , ESP = 0xAAAAAAA - 8h =    0xAAAAAA2
call test    ;压入返回地址 ESP -= 4h, ESP =  0xAAAAAAA - 0Ch  =  0xAAAAA9D,注意:这里是test函数的 返回地址 ,即在代码段中的地址(偏移)。
;//进入函数内
{
push   ebp                           ;保护先前EBP指针, EBP入栈(即0xAAAAAB0入栈,注意与返回地址区别), ESP-=4h, ESP = 0xAAAAA99
mov    ebp, esp                   ;设置EBP指针指向栈顶 0xAAAAA99
mov    eax, dword ptr  [ebp+0ch]   ;ebp+0ch为0xAAAAAA6即参数2的位置
mov    ebx, dword ptr  [ebp+08h]   ;ebp+08h为0xAAAAAA2,即参数1的位置
sub    esp, 8                     ;局部变量所占空间ESP-=8, ESP =  0xAAAAA91
...
add    esp, 8                     ;释放局部变量, ESP+=8, ESP =  0xAAAAA99
pop    ebp                        ;出栈,恢复EBP, ESP+=4, ESP =    0xAAAAA9D, 即把栈中地址0xAAAAA9D的内容pop到ebp中
ret    8                          ;ret返回,弹出返回地址,ESP+=4, ESP=0xAAAAAA2, 后面加操作数8为平衡堆栈,ESP+=8,ESP=0xAAAAAAA, 恢复进入函数前的堆栈.
}
看完汇编后,再看EBP和ESP的定义,哦,豁然开朗,
原来 ESP 就是一直指向栈顶的指针,而 EBP 只是存取某时刻的栈顶指针,以方便对栈的操作,如获取函数参数、局部变量等。
(1)ESP:栈指针寄存器(extended stack pointer),其内存放着一个指针,该指针永远指向系统栈最上面一个栈帧的栈顶。

(2)EBP:基址指针寄存器(extended base pointer),其内存放着一个指针,该指针永远指向系统栈最上面一个栈帧的底部。


【本次重点内容:了解几个常见的寄存器名字,记住eax一般用来保存函数的返回值,记住esp是栈顶指针寄存器,ebp是栈底指针寄存器。
ESP 中的指针将一直指向这个新位置, 所以 ESP 中的地址数据是动态的。

三:

一.概念分析

经常看到下面这两句:

pushl %ebp 
movl %esp,%ebp 

--------------------------------------------------------------------------------
  esp是堆栈指针  
  ebp是基址指针 

那两条指令的意思是 将栈顶指向 ebp 的地址  
--------------------------------------------------------------- 

以下摘自网上一篇文章: 

push    ebp             ;ebp入栈  
mov     ebp, esp        ;因为esp是堆栈指针,无法暂借使用,所以得用ebp来存取堆栈  
sub     esp, 4*5        ;下面的wsprintf一共使用了5个参数,每个参数占用4个字节,所以要入栈4*5个字节  
push    1111  
push    2222  
push    3333  
push    offset szFormat  
push    offset szOut  
call    wsprintf        ;调用wsprintf  
add     esp, 4*5        ;堆栈使用完毕,“还”回4*5个字节给系统  
...  
mov     esp, ebp        ;恢复esp的值  
pop     ebp             ;ebp出栈  
ret 


明白了吗?主要是用来保存/恢复堆栈,以便传递参数给函数。  
在MASM里面,有一条更方便的语句,就是invoke  
使用它后,你就不用自己做这些事情了。 

--------------------------------------------------------------- 

esp始终指向栈顶,ebp是在堆栈中寻址用的 

***********************************************************************************************

我的理解:

调用一个函数时,先将堆栈原先的基址(EBP)入栈,以保存之前任务的信息。然后将栈顶指针的值赋给EBP,将之前的栈顶作为新的基址(栈底),然后再这个基址上开辟相应的空间用作被调用函数的堆栈。函数返回后,从EBP中可取出之前的ESP值,使栈顶恢复函数调用前的位置;再从恢复后的栈顶可弹出之前的EBP值,因为这个值在函数调用前一步被压入堆栈。这样,EBP和ESP就都恢复了调用前的位置,堆栈恢复函数调用前的状态。

二.通过ollydbg跟踪esp和ebp

           发现文字描述还是太没有快感。上几幅图,来说明这个调试过程更好。此文对于深刻理解ebp,esp是具有长远意义的


     可以看到,初始情况下,ebp此时值为0012FEDC,也就是栈帧的地址,而栈顶地址esp值为0012FDFC。可以看到两个值有一定的关系。而帧指针的地址较高。

     然后我们让它执行前两句,push ebp,mov ebp,esp


        可以看到前两句已经执行了,那么ebp跟esp的值也发生了变化。esp=0012FDF8,ebp=0012FDF8。为神马?一句句解读,push ebp,向栈里面压入了一个东西,那么栈顶此时应该发生变化了,也就是地址-4字节。为什吗是减法呢?因为是向低地址增长的,这点一定得注意。所以此时esp变化成了0012FDFC-4=OO12FDF8.至于ebp也等于0012FDF8就不解释了。

       接着上图不解释:


   此时呢,观察现在的值。栈顶esp=0012FDF4,而ebp=0012FDF8;没啥好说的,此时的栈顶已经又跑上去了,说明又有元素压栈了。那么执行这句mov esp,ebp之后,不用说,esp跟ebp都会变成0012FDF8.我们重点看下一幅,执行完pop,让ebp出栈,后会发生神马。


      此时ebp已经出栈了,来看看那他们的值,esp=0012FDFC,ebp=0012FEDC.首先,ebp出栈了,这个时候栈空了,所以栈顶会变成初始时的值001212FDFC。相当于上图中的esp=0012FDF8+4=0012FDFC.注意出栈,则栈顶+4,然后呢。ebp为啥变成了0012FEDC初始的值?ebp不是一直保存着esp的初始地址么?

       所以重点就在pop这个语句了。pop ebp究竟表达神马意思?ebp的值起初存在了栈中,出栈以后,它的值就恢复了原样。所一句灰常重要啊。pop的意思也许就是把弹出的值赋给我们的变量,pop  ebp,也就是把存在栈中的值弹出来赋给ebp。

        所以我在这里总结几句:

1、两句的mov ebp,esp实际上是把ebp进栈后的栈顶地址给了ebp。

2、在ebp没有出栈钱,它会一直保存ebp进栈以后的栈顶值,也就是1的值。

3、在ebp出栈前,需要把esp恢复到只有ebp在栈中时的值。

4、出栈后,esp自然恢复到ebp进栈以前的初始值,而pop ebp则恢复了ebp的初始值。

5、pop的语义很重要,pop  ebp的意思是把当前栈顶的元素出栈,送入ebp中,而不是让ebp出栈,这点必须明确!


  • 0
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
这是一段汇编语言代码,实现了一个名为FUNC4的过程。下面逐行解释其功能: - MOV SI,0:将指针SI初始化为0,指向数组GRADE的第一个元素。 - MOV CX,MARK1:将数组GRADE的元素个数存入CX寄存器中。 - DEC CX:将CX寄存器的值减1,因为数组下标从0开始。 - MOV BX,GRADE[SI]:将GRADE数组中第一个元素的值存入BX寄存器中。 - ADD AVERAGE,BX:将BX的值加到平均成绩AVERAGE的值中。 - ADDSUM: 这是一个标签,用于循环计算平均成绩。 - ADD SI,2:将指针SI向后偏移2个字节,指向下一个数组元素。 - MOV BX,GRADE[SI]:将下一个数组元素的值存入BX寄存器中。 - ADC AVERAGE,BX:将BX的值加到平均成绩AVERAGE的值中,并且加上进位标志。 - LOOP ADDSUM:循环,继续计算平均成绩,直到循环次数等于CX寄存器的值。 - PRINT INFO6:输出字符串INFO6,用于提示输出结果。 - MOV AX,AVERAGE:将平均成绩AVERAGE的值存入AX寄存器中。 - CWD:将AX寄存器的值扩展到DX:AX中,用于后面的除法运算。 - DIV MARK1:将DX:AX的值除以MARK1的值,商存储在AX中,余数存储在DX中。 - PUSH DX:将余数DX入栈,以备后面输出小数部分使用。 - PUSH AX:将商AX入栈,以备后面输出整数部分使用。 - CALL OUTPUT:调用输出函数,输出AX寄存器中的整数部分。 - MOV DX,'.':将小数点字符'.'存入DX寄存器中。 - MOV AH,02H:将输出函数的功能号存入AH寄存器中。 - INT 21H:调用中断21H,输出小数点。 - MOV CX,MARKDECIMALS:将小数部分的位数存入CX寄存器中。 - POP AX:将入栈的商AX弹出。 - DECIMAL: 这是一个标签,用于循环输出小数部分。 - MUL TEN:将AX的值乘以10,相当于左移一位。 - CWD:将AX的值扩展到DX:AX中,用于后面的除法运算。 - DIV MARK1:将DX:AX的值除以MARK1的值,商存储在AX中,余数存储在DX中。 - PUSH DX:将余数DX入栈,以备后面输出小数部分使用。 - PUSH AX:将商AX入栈,以备后面输出小数部分使用。 - CALL OUTPUT:调用输出函数,输出AX寄存器中的小数部分。 - POP AX:将入栈的商AX弹出。 - LOOP DECIMAL:循环,直到循环次数等于CX寄存器的值。 - PUTCHAR 0AH:输出一个换行符。 - RET:过程结束,返回到调用该过程的指令处。 - FUNC4 ENDP:过程结束标志。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值