日期:2014-05-16  浏览次数:20719 次

《coredump问题原理探究》Linux x86版3.7节栈布局之返回值

虽然在x86里,返回值并不是通过栈来传递。但返回值也是调用约定的一个知识点。而且,对于函数来说,有入应该有出,入就是参数,出就是返回值。但返回值有什么特征呢?

看一下例子:

int funcA()
{   
     return 1;
}   
 
int funcB()
{   
     return 2;
}   
 
int main()
{   
     return funcA() + funcB();
}   

看一下funcA和funcB的汇编:

(gdb) disassemble funcA
Dump of assembler code for function _Z5funcAv:
   0x08048470 <+0>:     push   %ebp
   0x08048471 <+1>:     mov    %esp,%ebp
   0x08048473 <+3>:     mov    $0x1,%eax
   0x08048478 <+8>:     pop    %ebp
   0x08048479 <+9>:     ret    
End of assembler dump.

(gdb) disassemble funcB
Dump of assembler code for function _Z5funcBv:
   0x0804847a <+0>:     push   %ebp
   0x0804847b <+1>:     mov    %esp,%ebp
   0x0804847d <+3>:     mov    $0x2,%eax
   0x08048482 <+8>:     pop    %ebp
   0x08048483 <+9>:     ret    
End of assembler dump.

可以看到,funcA函数除去函数开头特征指令和结尾指令之外,只有一条指令

   0x08048473 <+3>:     mov    $0x1,%eax

也就是说,这条指令是由return1这句代码生成。由于返回值是1,从汇编看,是把返回值放入到eax寄存器里。

而funcB也是这样,只有一条指令:

   0x0804847d <+3>:     mov    $0x2,%eax

是由代码生成的。

 

从上面可以看到,在x86中,返回值是通过eax寄存器来传递的。


PS:下一节将讲述如何定位“??”栈的方法,敬请期待