2012-12-03 176 views
0

我想了解豆蔻更多有关装配和写了一个小例子:在Mac OS X中的指令指针的寻址X86-64

#include <stdio.h> 
#include <math.h> 

void f() { 
    unsigned char i[4]; 
    i[0] = 5; 
    i[1] = 6; 
    i[2] = 7; 
    i[3] = 8; 
    int j = 0; 
    for(j=0; j < 20; j++) 
    printf("%02X\n", i[j]); 

} 

int main() { 
    int i[5]; 
    i[0] = 3; 
    i[1] = 3; 
    i[2] = 3; 
    i[3] = 3; 
    i[4] = 3; 
    f(); 
    return 0; 
} 

我的目标是看到实际的返回地址指令指针,通过在main()中调用 callq(当它启动f())时放下。

我用gdb拆开的main(),并得到了以下

Dump of assembler code for function main: 
0x0000000100000eb0 <main+0>: push %rbp 
0x0000000100000eb1 <main+1>: mov %rsp,%rbp 
0x0000000100000eb4 <main+4>: sub $0x20,%rsp 
0x0000000100000eb8 <main+8>: movl $0x3,-0x1c(%rbp) 
0x0000000100000ebf <main+15>: movl $0x3,-0x18(%rbp) 
0x0000000100000ec6 <main+22>: movl $0x3,-0x14(%rbp) 
0x0000000100000ecd <main+29>: movl $0x3,-0x10(%rbp) 
0x0000000100000ed4 <main+36>: movl $0x3,-0xc(%rbp) 
0x0000000100000edb <main+43>: callq 0x100000e40 <f> 
0x0000000100000ee0 <main+48>: movl $0x0,-0x8(%rbp) 
0x0000000100000ee7 <main+55>: mov -0x8(%rbp),%eax 
0x0000000100000eea <main+58>: mov %eax,-0x4(%rbp) 
0x0000000100000eed <main+61>: mov -0x4(%rbp),%eax 
0x0000000100000ef0 <main+64>: add $0x20,%rsp 
0x0000000100000ef4 <main+68>: pop %rbp 
0x0000000100000ef5 <main+69>: retq 

,所以我期待找到放下指令指针返回地址是0x0000000100000ee0,因为这是callq之后的下一个指令。当我运行我的程序我得到(我在的4组分组这些让您可以更好地阅读):

05 
06 
07 
08 

40 
1B 
08 
56 

FF 
7F 
00 
00 

E0 
EE 
B7 
09 

01 
00 
00 
00 

00 
00 
00 
00 

03 
00 
00 
00 

03 
00 
00 
00 

03 
00 
00 
00 

03 
00 
00 
00 

好了,我可以看到我的5,6,7,8,我写了我的地方变量在f()中,我可以看到main()这些4字节整数的局部变量,它们被设置为3.在5,6,7,8(这是一个64位系统)之后,我会预期接下来的8个字节编码%rbp寄存器的前一个值,然后接下来的8个字节包含指令指针的返回地址。因此,返回地址应该是

E0 
EE 
B7 
09 

01 
00 
00 
00 

现在,当我比较这对,我从GDB期待0x0000000100000ee0,我可以看到00000001在过去的4个字节,我可以从00000ee0在首先看到的E0字节。但是,为什么我没有得到我期待的?我想过字节顺序(Mac OS X是我相信的小端),但这并不能解释我在这里看到的,根据我的理解。

任何投入是值得欢迎的,

谢谢你们,

克里斯托夫

回答

2

试试这个程序并运行它多次。

#include <stdio.h> 

int 
main(int argc, char **argv) 
{ 
    int foo; 

    printf("%p %p\n", main, &foo); 
    return 0; 
} 

我很确定你每次都会得到不同的地址。 MacOS拥有与位置无关的二进制文件,堆栈也一直在变换位置。这是一项安全功能。

如果你在gdb中运行你的程序,你很可能会得到你所期望的,因为gdb会禁用随机化以使调试更容易。

+0

完全正确。谢谢。 –