如何使用GDB查看存储在堆栈上的变量

Question

我想弄清楚使用GDB在某个地方存储的内容。我有一个说法：

cmpl $0x176,-0x10(%ebp) 

在这个函数中，我比较0x176到-0x10（％EBP），我想知道是否有一种方法可以看到什么是存储在-0x10（％EBP）。

Answer 1

我想知道是否有办法看到什么是存储在-0x10（％ebp）。

假设你已经编译了调试信息，info locals会告诉你当前帧中的所有局部变量。之后，print (char*)&a_local - (char*)$ebp会告诉你从a_local开始到%ebp的偏移量，你通常可以找出本地接近0x176的地方。

另外，如果你的本地人有初始值设定项，你可以做info line NN来找出哪个汇编指令范围对应给定本地的初始化，然后disas ADDR0,ADDR1看到反汇编，再次理解哪个本地位于哪个偏移处。

另一种方法是readelf -w a.out，寻找这样的条目：

int foo(int x) { int a = x; int b = x + 1; return b - a; } 

<1><25>: Abbrev Number: 2 (DW_TAG_subprogram) 
<26> DW_AT_external : 1   
<27> DW_AT_name  : foo  
<2b> DW_AT_decl_file : 1   
<2c> DW_AT_decl_line : 1   
<2d> DW_AT_prototyped : 1   
<2e> DW_AT_type  : <0x67> 
<32> DW_AT_low_pc  : 0x0  
<36> DW_AT_high_pc  : 0x23  
<3a> DW_AT_frame_base : 0x0  (location list) 
<3e> DW_AT_sibling  : <0x67> 
<2><42>: Abbrev Number: 3 (DW_TAG_formal_parameter) 
<43> DW_AT_name  : x   
<45> DW_AT_decl_file : 1   
<46> DW_AT_decl_line : 1   
<47> DW_AT_type  : <0x67> 
<4b> DW_AT_location : 2 byte block: 91 0  (DW_OP_fbreg: 0) 
<2><4e>: Abbrev Number: 4 (DW_TAG_variable) 
<4f> DW_AT_name  : a   
<51> DW_AT_decl_file : 1   
<52> DW_AT_decl_line : 1   
<53> DW_AT_type  : <0x67> 
<57> DW_AT_location : 2 byte block: 91 74  (DW_OP_fbreg: -12) 
<2><5a>: Abbrev Number: 4 (DW_TAG_variable) 
<5b> DW_AT_name  : b   
<5d> DW_AT_decl_file : 1   
<5e> DW_AT_decl_line : 1   
<5f> DW_AT_type  : <0x67> 
<63> DW_AT_location : 2 byte block: 91 70  (DW_OP_fbreg: -16) 

这就告诉你，x存储在fbreg+0，a在fbreg-12，并在bfbreg-16。现在你只需要检查位置列表来找出如何从%ebp派生fbreg。对于上面的代码清单如下：

Contents of the .debug_loc section: 

Offset Begin End  Expression 
00000000 00000000 00000001 (DW_OP_breg4: 4) 
00000000 00000001 00000003 (DW_OP_breg4: 8) 
00000000 00000003 00000023 (DW_OP_breg5: 8) 
00000000 <End of list> 

因此，对于身体的大部分，fbreg是%ebp+8，这意味着a在%ebp-4。拆卸确认：

00000000 <foo>: 
    0: 55      push %ebp 
    1: 89 e5     mov %esp,%ebp 
    3: 83 ec 10    sub $0x10,%esp 
    6: 8b 45 08    mov 0x8(%ebp),%eax # 'x' => %eax 
    9: 89 45 fc    mov %eax,-0x4(%ebp) # '%eax' => 'a' 

...