c++ - 为什么我的寄存器不包含我从 asm 计算的值

Question

我在 gdb session 中对崩溃进行事后分析，正在分析函数的这段汇编代码，从函数的开头开始:

   0x0000000001b0af00 <+0>:     push   %rbp
   0x0000000001b0af01 <+1>:     mov    %rsp,%rbp
   0x0000000001b0af04 <+4>:     push   %rbx
   0x0000000001b0af05 <+5>:     mov    %rdi,%rbx
   0x0000000001b0af08 <+8>:     sub    $0x8,%rsp
   0x0000000001b0af0c <+12>:    mov    0x18(%rdi),%rdi
=> 0x0000000001b0af10 <+16>:    mov    (%rdi),%rdx

崩溃发生在 rdi 的 null 取消引用上:

(gdb) info registers rdi
rdi            0x0      0

很好。但是阅读那个程序集(非常简单)，我不明白 rdi 值是如何变成空的。请注意，从 +5 指令偏移量开始具有 rdi 原始值的 rbx 具有以下内容:

(gdb) info registers rbx
rbx            0x7f4fb26b9690   139980272539280

从那里开始，rdi 应该具有该地址的取消引用值加上 0x18(由于指令偏移 +12):

(gdb) x/a (0x7f4fb26b9690 + 0x18)
0x7f4fb26b96a8: 0x7f4f74632bb0

请注意，这不是零。在我看来，rdi 的值应该是 0x7f4f74632bb0。我误会了什么？

这是由 GCC 4.8 编译 C++ 代码生成的 x64 程序集。

Answer 1

是的，您正确理解了 asm。您的核心文件不是 mem+regs 的准确快照，或者在第一次和第二次加载之间发生了对内存的某种异步修改(如建议的 fifoforlifo)。

我想 0x7f4f74632bb0 也是一个有效的指针，所以如果该值早点出现，load + deref 应该会起作用。

您的程序是多线程的，还是安装了任何信号处理程序？

一个可能的场景:

• 一个函数将本地地址传递给另一个线程
• 然后它返回，而另一个线程仍然有指针。所以现在它指向 RSP 下面的未使用空间。
• 然后调用另一个函数，其中一个局部变量恰好位于其他线程仍在修改的位置。

---

(或者其他一些我没想到的解释。)

更新:如果一个分支向后跳转到这里，就像@ChrisDodd 建议的那样，这可能是链表遍历循环的一部分。

这也很有道理。 objdump 不会在其反汇编中标记分支目标(Agner Fog's objconv disassembler 会)，因此遗漏函数的其余部分可能会产生很大的误导。