目標文件及鏈接-資料下載頁
2025-01-07 14:09本頁面
【正文】 sub $0x24,%esp 11: c7 45 f8 64 00 00 00 movl $0x64,0xfffffff8(%ebp) 18: c7 44 24 04 00 00 00 movl 0x0,0x4(%esp) 1f: 00 20: 8d 45 f8 lea 0xfffffff8(%ebp),%eax 23: 89 04 24 mov %eax,(%esp) 26: e8 fc ff ff ff call 27 main+0x27 2b: 83 c4 24 add $0x24,%esp 2e: 59 pop %ecx 2f: 5d pop %ebp 30: 8d 61 fc lea 0xfffffffc(%ecx),%esp 33: c3 ret /**/ extern int shared。 int main() { int a = 100。 swap(a, shared)。 } 27 符號重定位 $ objdump r RELOCATION RECORDS FOR[.text]: OFFSET TYPE VALUE 0000001C R_386_32 shared 00000027 R_386_PC32 swap 宏定義 值 重定位修正方法 R_386_32 1 絕對尋址修正 S+A R_386_PC32 2 相對尋址修正 S+AP A=保存在修正位置的值 P=被修正的位置（相對于段開始的偏移量或者虛擬地址）， 注意該值可以通過 r_offset計算得到 S=符號的實際地址，即由 r_info的高 24位指定的符號的實際地址 重定位表結構 typedef struct { Elf32_Addr r_offset。 Elf32_Word r_info。 } Elf32_Sym。 28 現(xiàn)在讓我們假設在將 ， main函數(shù)的虛 擬地址為 0x1000,swap函數(shù)的虛擬地址為 0x2023,shared變量的虛擬地址為 0x3000。那么我們的鏈接器將如何修正 ？ 相對尋址修正： S是符號 shared的實際地址，即 0x3000 A是被修正位置的值，即 0x00000000 Shared修正后的地址為 0x3000 + 0x00000000 = 0x3000 絕對尋址修正： S是符號 swap的實際地址，為 0x2023 A是被修正位置的值 :0xfffffffC(4) P為被修正的位置，當鏈接成可執(zhí)行文件時，這個值應該是被修正位置的虛 擬地址，為 0x1000+0x27 swap修正后的地址為 0x2023 + (4) + (0x1000 + 0x27) = 0xfd5 29 可執(zhí)行目標文件及裝入 可執(zhí)行目標文件 與可重定位目標文件格式類似 可執(zhí)行目標文件的裝入由裝載器完成 30 典型的 ELF可執(zhí)行目標文件 讀 /寫內存段 ELF頭 段頭表 .init .text .rodata .data .bss .symtab .debug .line .strtab 節(jié)頭表 只讀內存段 符號表和調試信息 ， 不裝入內存 描述目標文件的節(jié) 將下面的節(jié)映射到運行時的內存段 31 Linux運行時的內存映像 內核 用戶棧 （運行時創(chuàng)建） 共享庫的 內存區(qū)域 運行時的堆 （運行時用 malloc創(chuàng)建） 讀 /寫段 （ .data, .bss） 只讀段（.init,.text,.rodata） 未使用 0xc0000000 0x40000000 0x08048000 對用戶代碼不可見 %esp (棧指針 ) brk 從可執(zhí)行文件裝入 0 32 這里描述的裝入過程從概念上來說是正確的 若需要了解裝入過程真正是怎樣工作的，必須在理解了進程、虛擬內存和內存分頁等概念以后 33 處理目標文件的一些工具 ar 創(chuàng)建靜態(tài)庫，插入、刪除、羅列和提取成 strings 列出包含在目標文件中的所有可打印 strip 從一個目標文件中刪除符號表信息 nm 列出一個目標文件的符號表中定義的符號 size 列出目標文件中各段的名字和大小 readelf 顯示目標文件的完整結構 ,包括編碼在 ELF 頭中的所有信息。它包括了 size和 nm的功能 objdump 可以顯示目標文件中的所有信息。其最有用 的功能是反匯編 .text節(jié)中的二進制指令 ldd 列出可執(zhí)行目標文件在運行時需要的共享庫 34
教學課件相關推薦
鄂ICP備17016276號-1