对call、retn的深入分析和认识

为了加深对call、retn的理解，我今天用delphi写了一个小程序，在OD中跟踪程序执行call及retn时堆栈的变化。

程序很简单：

procedure summ(b: string);
var
a: string;
begin
a := b;
end;

procedure TForm2.Button3Click(Sender: TObject);
begin
summ('bbbbbbbb');
end;

对应的汇编代码：

004A4D28 . B8 3C4D4A00 mov eax, 004A4D3C ; ASCII "bbbbbbbb"
004A4D2D . E8 9EFFFFFF call 004A4CD0
004A4D32 . C3 retn

004A4CD0 /$ 55 push ebp

...........

004A4D21 . 59 pop ecx
004A4D22 . 59 pop ecx
004A4D23 . 5D pop ebp
004A4D24 . C3 retn

执行到004A4D2D，esp=0013F630，F7进去后到达004A4CD0 也就是summ的第一句代码，esp=0013F62C，也就是说执行call xx系统进行了一个压栈操作！执行到 004A4D24时，esp=0013F62C（和执行到第一句代码时相等），执行了retn后，esp=0013F630，也就是说retn进行了一个出栈的动作！

另外，函数执行完毕的前后，不管是stdcall还是fastcall，都不保证寄存器不被修改！

总结：

1、执行到函数内的第一个语句时的esp值和到最后一个语句（也就是retn）的esp值是一样的：

004A4CD0 /$ 55 push ebp ;esp=0013F628
004A4CD1 |. 8BEC mov ebp, esp
004A4CD3 |. 5D pop ebp
004A4CD4 /. C2 0400 retn 4 ;esp=0013F628

2、retn 4表示pop 2次。

3、执行到call xx时的esp值与执行完xx时的esp值不一定相等，对stdcall的尤其是这样。

粗浅分析，不当之处还请指出。