x86架构下从%ebp获取函数返回地址异常的原因排查

你的代码取不到正确返回地址，主要有以下几种可能的原因：

1. 编译器开启了帧指针省略优化 #

x86架构下，默认在O1及以上优化级别时，编译器会启用-fomit-frame-pointer选项，此时%ebp不再被用作栈帧基指针，而是当作普通通用寄存器使用。你通过内联汇编读取的ebp值根本不是当前函数栈帧的基地址，自然ebp+4指向的也不是返回地址。

验证方法：编译时添加-fno-omit-frame-pointer选项强制保留帧指针，再运行代码测试。

2. 函数被编译器内联优化 #

如果你的backtrace函数被编译器内联到调用它的函数中，栈帧结构会完全改变：此时你读取的ebp是调用者函数的栈帧基指针，ebp+4对应的是调用者的返回地址，而非backtrace函数本身的返回地址。

验证方法：编译时添加-fno-inline选项禁止内联，或者给backtrace函数添加__attribute__((noinline))属性。

3. 调试时机判断有误 #

从你给出的gdb输出看，执行return指令前查看的ebp+4值是0x80104e8d，但返回后的eip是0x80104d72。可以在gdb中执行disas 0x80104e8d查看该地址对应的指令，大概率会发现这是printf函数返回后回到backtrace的指令地址——这说明你在gdb中查看的ebp可能是printf执行后的栈帧基指针，而非代码中读取ebp变量时的栈帧基指针。

补充：栈结构理解的小误区 #

虽然你的栈结构大体正确，但需要明确x86栈是向下增长的（高地址→低地址），标准函数栈帧的正确布局（从高到低）是：

+-------------------+
| 调用者的返回地址  |  <- ebp + 4
+-------------------+
| 调用者的ebp值     |  <- ebp
+-------------------+
| 当前函数局部变量  |  <- ebp - 4、ebp - 8...
+-------------------+
| printf的参数等    |  <- esp（调用printf时）
+-------------------+

内容的提问来源于stack exchange，提问作者BranchPredictor4000