2012-12-03 217 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

完全正確。謝謝。 –