c - 为什么mov指令不能正确执行？

Question

我在调试程序时遇到错误，即使阅读了asm代码也无法解决它

这是来自 GDB 的图像，在 0x4070a1 之前，%rdx 是 0x61b130，这个数字应该移至 -0x18(%rbp)。然而，在这条指令之后，我发现-0x18(%rbp)变成了0x61b7d0，这让我感到困惑。

由于这个问题，我的程序无法正常运行，谁能告诉我原因吗？谢谢!

C 代码:

E_enventry t = E_FunEntry(level,label,NULL,NULL); //t here is 0x61b130
S_enter(venv,S_Symbol("flush"), t);
......
void S_enter(S_table t, S_symbol sym, void *value) {
    //while value here is 0x61b7d0
    TAB_enter(t,sym,value);
}

Answer 1

p/x $rdx 显示 0x61b130 毫无意义。显示 value 的函数入口值的堆栈帧与您在内存中看到的存储后的 x 相匹配。

我认为你的 GDB 有问题，但它显示错误的可能是 $rdx 的值，因为这与其他两个来源不一致。 (根据您的评论，在溢出/重新加载后也与 p/x $rdx 不一致)。

尝试不同版本的 gdb，或者尝试使用不同的调试器(它不是 GDB 的前端)。例如尝试lldb。

<小时/>

将所有 3 个参数溢出/重新加载到堆栈后，最终会对 TAB_enter 进行函数调用，前 3 个参数相同，第 4 个参数 = 第 2 个参数 (sym 在你的 C 源代码中)

或者可能没有第四个参数，它只是使用 %rcx 作为临时参数，而不是直接加载到 %rsi 中，就像使用 % 一样rax.

gcc -O0 是极其脑残的，其中只有一些是故意的(溢出/重新加载 C 语句之间的所有内容以支持使用调试器修改内存中的变量，甚至在源代码行之间跳转。)

TL:DR:毫不奇怪，您展示的 asm 完全实现了您为 void S_enter(S_table t, S_symbol sym, void *value) 展示的源代码，不多也不少。