从汇编简要分析c语言函数调用栈

先写个简单的小demo, 分析一下c的函数调用过程。

void test(int a, int b) {
  a++;
  b+=2;
}

void haha() {
  test(3, 5);
}

int main() {
  haha();
  return 0;
}

下面是haha()的汇编代码：

Dump of assembler code for function haha:
   0x080483a1 <+0>:    push   %ebp
   0x080483a2 <+1>:    mov    %esp,%ebp
   0x080483a4 <+3>:    sub    $0x8,%esp
=> 0x080483a7 <+6>:    movl   $0x5,0x4(%esp)
   0x080483af <+14>:    movl   $0x3,(%esp)
   0x080483b6 <+21>:    call   0x8048394 <test>
   0x080483bb <+26>:    leave  
   0x080483bc <+27>:    ret    
End of assembler dump.

 此时程序暂停在test(3, 5) 这一行， 调用test时， 首先会把函数参数压栈。

  0x080483a4 <+3>:    sub    $0x8,%esp                              表示栈顶加8个字节， 可以保留两个int型参数。

  0x080483a7 <+6>:    movl   $0x5,0x4(%esp)                    第二个参数先入栈

  0x080483af <+14>:    movl   $0x3,(%esp)                          第一个参数后如栈

  0x080483b6 <+21>:    call   0x8048394 <test>                call会调用test函数， 这里隐含的操作是eip寄存器内容入栈，用来保存函数调用结束后应该执行的命令地址。

 

下面是test的汇编代码：

Dump of assembler code for function test:
   0x08048394 <+0>:    push   %ebp
   0x08048395 <+1>:    mov    %esp,%ebp
=> 0x08048397 <+3>:    addl   $0x1,0x8(%ebp)
   0x0804839b <+7>:    addl   $0x2,0xc(%ebp)
   0x0804839f <+11>:    pop    %ebp
   0x080483a0 <+12>:    ret    
End of assembler dump.

0x08048394 <+0>:    push   %ebp                       首先保存调用函数（haha)的栈底地址

0x08048395 <+1>:    mov    %esp,%ebp            然后把esp 内容赋给ebp寄存器， ebp保存新栈帧 （test)的栈底地址。 此时esp ebp指向栈的同一个位置。

此时ebp的内容保存着调用函数的栈底地址， 以此为基准， %ebp + 4 地址保存返回地址， %ebp + 8 保存 第一个参数，  &ebp + 12 保存第二个参数， 而比%ebp -  x  (x 为正数） 保存test函数的局部变量（这个例子没有用到局部变量）。

0x08048397 <+3>:    addl   $0x1,0x8(%ebp)  第一个参数+1

0x0804839b <+7>:    addl   $0x2,0xc(%ebp)   第二个参数+2

0x080483a0 <+12>:    ret   返回。

ebp 具有十分的意义， 它总是保存上层调用时的ebp值， 而且在没层调用中都可一通过ebp （向栈底方向）找到返回地址， 参数， （向栈顶方向） 找到局部变量。 这是一个递归的过程。

如上所示， 当程序执行到 0x08048397 <+3>:    addl   $0x1,0x8(%ebp)  的时候， 打印ebp 内容：

(gdb) p $ebp
$1 = (void *) 0xbffff310

表示test的栈底地址为0xbffff310

0xbffff310 + 8 为第一参数3
(gdb) x /1uw 0xbffff318
0xbffff318:    3

0xbffff310 + 12 为第一参数5
(gdb) x /1uw 0xbffff31c
0xbffff31c:    5

0xbffff310 + 4 为 返回地址

(gdb) x /1aw 0xbffff314 
0xbffff314:    0x80483bb <haha+26>

而 0x80483bb <haha+26> 对应函数haha中的 0x080483bb <+26>:    leave