PowerPC上ELF可执行文件的符号解析

最新推荐文章于 2020-04-06 14:56:00 发布
最新推荐文章于 2020-04-06 14:56:00 发布
阅读量1k 收藏 2
点赞数
分类专栏： 杂类

一． 前言

符号解析是Linux系统导入二进制可执行文件的重要过程，它完成的工作包括将一个符号定位到实际的内存地址，并且要保证可以正确引用这些符号。按解析对象的不同它可以分为变量符号解析和函数符号解析；按解析方式的不同可以分为静态解析和动态解析。

对于静态解析的符号，它们的地址在文件生成时就由link editor（在Linux下通常是ld）已经确定下来了；对于动态解析的符号，他们的地址在程序运行时才由dynamic linker（动态链接器，32位Linux平台下通常是/lib/ld.so.1）确定下来。我们可以这么认为，如果一个符号在共享库中定义，那么当其他可执行文件或共享库引用这个符号时，就需要对它作动态解析。

变量符号的动态解析过程比较简单，系统在载入程序过程中将变量symbol地址存入到GOT（Global Offset Table）中，引用变量symbol时首先计算出ＧＯＴ表的实际地址，然后以它作为基址加上（变量symbol在GOT表中的偏移量）就可以从ＧＯＴ表中取得该symbol的实际地址。下面以SUSE Linux Enterprise Server 8.1 for IBM pSeries为例，主要讲述和演示３２位PowerPC Linux下函数符号的动态解析过程。

回页首

二． 概念

在讲述解析过程之前，先介绍一下在解析过程中要用到的基本概念。

1． ELF（Executable and Linkable Format）文件

ELF是Linux缺省采用的可执行文件（包括共享库，object文件）的格式，具体规范参见参考文献［１］、［２］。这里需要提一下的是section这个概念：section是ELF文件中一段互相联系信息，它可以是一段数据，也可以是一段代码。比如可执行代码信息就放在.text section中，被用户初始化的变量会放在.data section中，没有被用户初始化的变量会放在.bss section（bss是below stack segment的缩写）中。还有其他的一些 section： .debug、 .hash、 .symtab、 .dynsym、 .plt、 .rel.plt 等等。 .dynsym（动态符号表）、 .plt（过程链接表）和.rel.plt（重定位表）和我们的话题有关。

2． 符号表（symbol table）

符号表记录了程序中符号的定义信息和引用信息，它是一个结构数组，数组中的每个元素对应一个符号所有的信息。我们可以在glibc的源代码glibc-2.2/elf/elf.h中看到这个结构的c语言定义：

typedef struct{
Elf32_Word st_name;		/* 符号名 (.string表的索引) */
Elf32_Addr st_value; 		/* 符号值（Symbol value） */
Elf32_Word st_size;		
unsigned char st_info; 	
unsigned char st_other; 	
Elf32_Section st_shndx;	
} Elf32_Sym;

对于可执行文件和共享库而言，符号值记录了该符号的内存地址。可执行文件知道运行时刻他们的地址，所以他们内部的引用符号在编译时候就已经确定了；共享库symbol的符号值（symbol value）就要等到共享库被载入到内存中才确定下来。

我们可以用"readelf -s 文件名"来查看elf文件的symbol值，一般会有两个symbol表：.symtab(包含静态符号和动态符号)和.dynsym（仅包含动态符号）表。下面是我自己机器上的一个输出：

cj@bluesky:~/program/GOT> readelf -s test32
Symbol table '.dynsym' contains 6 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 10010894   488 FUNC    GLOBAL DEFAULT  UND __libc_start_main@GLIBC_2.0
		……………………
Symbol table '.symtab' contains 228 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 10000114     0 SECTION LOCAL  DEFAULT    1 
……………………

3．过程链接表（Procedure Linkage Table，PLT）

静态解析函数符号很简单，因为引用是在内部进行的，只要用下面的命令就可实现： 
bl resolved_symbol //resolved_symbol是被引用函数的入口点

动态解析符号则不然，由于link editor不能在编译时就确定被引用函数的入口点，所以它只能将控制权交给第三方，再由这个第三方来完成确定被引用函数入口点的任务，这个第三方就是过程链接表。

过程链接表的格式如下：

  • PLT表开头的18个字（72字节）为dynamic linker保留
  • 如果可执行文件或共享库需要N个.PLTi入口，那么紧跟着这18个字，link editor就会保留3*N个字（12*N字节），开头的2*N个字就是所有的.PLT入口，对于第i个引用符号，它的.PLT入口是（72+（i-1）*8）（1<=i<=N）,剩下的N个字留给dynamic linker使用。 
    过程链接表虽然存在于文件当中，但它的初始化是由dynamic linker在装载可执行文件和共享库时完成的。下面是一个可能的被初始化的PLT表的内容： 
    .PLT:
.PLTresolve:
addis r12,r0,dynamic_linker@ha
addi r12,r12,dynamic_linker@l	
mtctr r12	//到此为此，r12和ctr中是dynamic linker的地址
addis r12,r0,symtab_addr@ha
addi r12,r12,symtab_addr@l
bctr			//此时r12中是共享库symbol表的地址
.PLTcall:
addis r11,r11,.PLTtable@ha
lwz r11,.PLTtable@l(r11)
mtctr r11
bctr
8 个nop指令
.PLT1:
addi r11,r0,4*0
b .PLTresolve
. . .
.PLTi:
addi r11,r0,4*(i-1)
b .PLTresolve
. . .
.PLTN:
addi r11,r0,4*(N-1)
b .PLTresolve
.PLTtable:
<N word table begins here>

4． Relocation表

Relocation表总是和PLT表紧紧联系在一起，也就是说，PLT表有多少个入口，Relocation表就有多少个入口，他们是一对一的关系。下面是Relocation结构的c语言定义：

typedef struct {
Elf32_Addr r_offset;		//.PLTi的地址
Elf32_Word r_info;		//包含symbol index信息
} Elf32_Rel;

在上述过程链接表的例子中r11是Relocation表和PLT表的index，dynamic linker需要r11来找到对应于这次解析的Relocation表的元素，然后得到r_info，由于r_info中包含了symbol index信息，我们就可确定是寻找哪个symbol的地址；得到symbol的地址后还需要r11来确定将这个地址正确重定位到那个PLT入口（r_offset保存了.PLTi的地址）。

回页首

三． 函数符号动态解析过程

当调用一个外部的函数时，它传输控制到PLT 中跟该symbol 相关的那个entry (是在编译时候由link editor完成的)，然后将偏移量（就是Relocation表的index）置入r11，转入到.PLTresolve处执行；.PLTresolve取得dynamic linker的地址，将共享库的symbol表地址赋给r12后调用dynamic linker的解析函数_dl_runtime_resolve；_dl_runtime_resolve会根据r11取得和该PLT entry对应的Relocation entry，然后得到symbol index，结合r12找到该函数符号的载入地址loaded_addr，并从Relocation entry中得到.PLTi的地址，将.PLTi处的命令修改为b loaded_addr，完成该次符号解析。这样以后若还有调用该函数的语句，就会直接跳往loaded_addr。

下面将以程序为例，演示SUSE SLES 8.1 for IBM pSeries是如何动态解析函数符号printf 的。

例子程序Sample.c

      1 #include <stdio.h>
      2 
      3 int main(int argc, char *argv[])
      4 {
      5     printf("Hello, world!\n");
      6     return 0;
      7 }

回页首

四． 过程演示

1．Run gdb：gdb sample

2．反汇编printf符号

(gdb) disassemble printf
Dump of assembler code for function printf:
0x1001089c <printf>:    .long 0x0
……………………..
0x100108b4 <printf+24>: .long 0x0
End of assembler dump.

由于sample还没有运行，所以printf函数还没有被载入到内存中，它的.PLTi入口初始为0

3．反汇编main函数

(gdb) disassemble main
Dump of assembler code for function main:
0x10000448 <main>:      stwu    r1,-32(r1)
……………………..
0x10000470 <main+40>:   bl      0x1001089c <printf>
……………………..

4. 设置断点并运行sample

(gdb) b *0x10000470
Breakpoint 1 at 0x10000470
(gdb) r
Starting program: /home/cj/program/GOT/sample 
Breakpoint 1, 0x10000470 in main ()
(gdb) disassemble 0x1001089c
Dump of assembler code for function printf:
0x1001089c <printf>:    li      r11,4
0x100108a0 <printf+4>:  b       0x1001086c <_GLOBAL_OFFSET_TABLE_+48>
0x100108a4 <printf+8>:  li      r11,8
0x100108a8 <printf+12>: b       0x1001086c <_GLOBAL_OFFSET_TABLE_+48>
……………………..
End of assembler dump.

我们发现0x1001089c处的代码已经改变，表明在载入sample程序的过程中ld.so.1已经修改了printf函数的.PLTi入口。r11值为4，即是printf 在relocation表中的index。

5．反汇编0x1001086c

0x1001086c相当于.PLTresolve，它会调用_dl_runtime_resolve来解析符号

(gdb) disassemble 0x1001086c
Dump of assembler code for function _GLOBAL_OFFSET_TABLE_:
……………………..
0x1001084c <_GLOBAL_OFFSET_TABLE_+16>:  addis   r11,r11,4097
0x10010850 <_GLOBAL_OFFSET_TABLE_+20>:  lwz     r11,2220(r11)
0x10010854 <_GLOBAL_OFFSET_TABLE_+24>:  mtctr   r11
0x10010858 <_GLOBAL_OFFSET_TABLE_+28>:  bctr
0x1001085c <_GLOBAL_OFFSET_TABLE_+32>:  .long 0x0
0x10010860 <_GLOBAL_OFFSET_TABLE_+36>:  .long 0x0
0x10010864 <_GLOBAL_OFFSET_TABLE_+40>:  addis   r11,r11,-4097
0x10010868 <_GLOBAL_OFFSET_TABLE_+44>:  addi    r11,r11,-2220
0x1001086c <_GLOBAL_OFFSET_TABLE_+48>:  rlwinm  r12,r11,1,0,30
0x10010870 <_GLOBAL_OFFSET_TABLE_+52>:  add     r11,r12,r11
0x10010874 <_GLOBAL_OFFSET_TABLE_+56>:  li      r12,-20344
0x10010878 <_GLOBAL_OFFSET_TABLE_+60>:  addis   r12,r12,16385
0x1001087c <_GLOBAL_OFFSET_TABLE_+64>:  mtctr   r12 
//此时ctr中存放_dl_runtime_resolve的地址
0x10010880 <_GLOBAL_OFFSET_TABLE_+68>:  li      r12,22904
0x10010884 <_GLOBAL_OFFSET_TABLE_+72>:  addis   r12,r12,16386
	//此时r12存放/lib/libc.so.6的symbol表的地址
0x10010888 <_GLOBAL_OFFSET_TABLE_+76>:  bctr
0x1001088c <_GLOBAL_OFFSET_TABLE_+80>:  .long 0x0
0x10010890 <_GLOBAL_OFFSET_TABLE_+84>:  .long 0x0
0x10010894 <__libc_start_main>: b       0xfed8ff0 <__libc_start_main>
0x10010898 <__libc_start_main+4>: b     0x1001086c <_GLOBAL_OFFSET_TABLE_+48>
0x1001089c <printf>:    li      r11,4
0x100108a0 <printf+4>:  b       0x1001086c <_GLOBAL_OFFSET_TABLE_+48>
0x100108a4 <printf+8>:  li      r11,8
0x100108a8 <printf+12>: b       0x1001086c <_GLOBAL_OFFSET_TABLE_+48>
……………………..
End of assembler dump.


(gdb) b *0x10010888
Breakpoint 2 at 0x10010888
(gdb) i r ctr
ctr            0x4000b088       1073787016
(gdb) disassemble 0x4000b088
Dump of assembler code for function _dl_runtime_resolve:
0x4000b088 <_dl_runtime_resolve>:       stwu    r1,-64(r1)
……………………..
0x4000b0c4 <_dl_runtime_resolve+60>:    stw     r0,8(r1)
0x4000b0c8 <_dl_runtime_resolve+64>:    bl      0x4000ad3c <fixup>
0x4000b0cc <_dl_runtime_resolve+68>:    mtctr   r3
……………………..
0x4000b104 <_dl_runtime_resolve+124>:   addi    r1,r1,64
0x4000b108 <_dl_runtime_resolve+128>:   bctr
End of assembler dump.

我们可以通过查看glibc的源代码来看_dl_runtime_resolve是如何得到symbol的地址值的，它在文件glibc-2.2/sysdeps/powerpc/dl-machine.h中定义。

(gdb) ni
Hello, world!
0x10000474 in main ()

6．再次反汇编0x1001089c

(gdb) disassemble 0x1001089c
Dump of assembler code for function printf:
0x1001089c <printf>:    b       0xff0ec9c <printf>
0x100108a0 <printf+4>:  b       0x1001086c <_GLOBAL_OFFSET_TABLE_+48>
……………………..
End of assembler dump.

对比上述第四个步骤，0x1001089c <printf>: li r11,4已经被修正为 0x1001089c <printf>: b 0xff0ec9c <printf>了，以后若还有调用printf的语句，控制权就会直接转到0xff0ec9c，0xff0ec9c是printf函数的真正入口点。

回页首

五． 总结

从以上的分析和演示过程中我们可以看到32 位PowerPC的函数符号动态解析和i386 Linux体系结构的函数符号动态过程大体一致，它们都是先跳转到对应的.PLTi入口，保存Relocation偏移量，然后跳转到_dl_runtime_resolve，由它来完成寻找函数符号的任务。不同的地方是：1. 由于b命令的限制（b 命令可能第一次跳转不到函数入口点），所以对于不能一次跳到函数入口点的情况就需要两次跳转（先将跳转地址存到.PLTtable+4*(i-1)，然后将.PLTi处的b .PLTresolve修改为b .PLTcall，由它用bctr命令来完成跳转到函数入口点的任务）; 2. i386 Linux将跳转地址存入到GOT[x+i]中，PowerPC则根本不使用GOT表，而是通过直接修改.PLTi处的代码来达到相同的功能。


参考资料

１． ELF1.1规范中文版 http://elfhack.whitecell.org/mydocs/ELF_chinese.txt

２． ELF1.2规范英文版 Tool Interface Standard (TIS) Executable and Linking Format Specificationhttp://x86.ddj.com/ftp/manuals/tools/elf.pdf

３． SYSTEM V APPLICATION BINARY INTERFACE PowerPC Processor Supplementhttp://www.cloudcaptech.com/MPC555%20Resources/Programming%20Environment/SVR4abippc.pdf

stonesharp
关注
专栏目录
PowerPC上ELF可执行文件的符号解析(二)
11-04
符号解析是Linux系统导入二进制可执行文件的重要过程，它完成的工作包括将一个符号定位到实际的内存地址，并且要保证可以正确引用这些符号。按解析对象的不同它可以分为变量符号解析和函数符号解析；按解析方式的不同可以分为静态解析和动态解析。 对于静态解析的符号，它们的地址在文件生成时就由link editor（在Linux下通常是ld）已经确定下来了；对于动态解析的符号，他们的地址在程序运行时才由dynamic linker（动态链接器，32位Linux平台下通常是/lib/ld.so.1）确定下来。我们可以这么认为，如果一个符号在共享库中定义，那么当其他可执行文件或共享库引用这个符号时，就需要对它作动态解析。
PowerPC上ELF可执行文件的符号解析（一）
kendyhj9999的专栏
08-20 1380
Global Offset Table(GOT全局偏移量表)[From PowerPC上ELF可执行文件的符号解析]   2008-03-04 14:12:13|  分类： Work-2008 |字号 订阅 Global Offset Table(G
PowerPC 学习笔记
04-02 4007
E500  内核的寄存器和运行模式： E500 内核有两组寄存器，分别是用户模式寄存器（User-Level Register, ULR）与超级用户模式寄存器(Supervisor-Level Register, SLR)。 E500 内核有两种运行模式，即用户模式（User Mode）和超级用户模式（Supervisor Mode）。 PowerPC 处理器在用户模式或超级用户模式下可以访
PowerPc 架构 及 汇编指令 之一 基础篇
maxwell_air的专栏
05-26 924
本文记载工作中对PowerPc 体系结构的学习，主要包括PowerPC 架构及其汇编语言的原理，某一具体处理器的学习在单独文章中记载PowerPC 处理器1 PowerPC 处理器有 32 个（32 位或 64 位）GPR（通用寄存器）以及诸如 PC（程序计数器，也称为 IAR／指令地址寄存器或 NIP／下一指令指针）、LR（链接寄存器）、CR（条件寄存器）等各种其它寄存器。有些 PowerPC CPU 还有 32 个 64 位 FPR（浮点寄存器）2 PowerPC 体系结构是 RISC（精简指令
PowerPC-object与elf中的符号引用
weixin_34392843的博客
07-07 108
https://mp.weixin.qq.com/s/6snzjEpDT4uQuCI2Nx9VcQ 一. 符号引用 编译会先把每个源代码文件编译成object目标文件，然后把所有目标文件链接到一起，成为最终的可执行格式，如elf或exe. 源代码文件中会有很多符号引用，比如一个函数调用另一个函数，一个变量中引用另一个变量。这些引用在目标文件中并不会确定地址，只有在最终链接的时候...
ARM、PowerPC、MIPS反汇编工具
12-02
ELF文件是UNIX和类UNIX系统中的标准可执行文件格式，包含程序代码、数据和链接信息。解析ELF文件对于理解程序结构、符号和依赖关系至关重要。 此外，“文本比较”功能可能允许用户比较两个不同的二进制或源代码文件...
PowerPC 动态库
04-23
在PowerPC Linux环境下，动态解析的过程遵循ELF（Executable and Linkable Format）标准。当程序启动时，动态加载器会解析可执行文件的动态段，找到依赖的动态库，并将其加载到内存中。接着，动态加载器使用`dlsym()...
以u-boot为例介绍如何在MDK下调试elf格式文件.pdf（转贴附件）
02-27
ELF（Executable and Linkable Format）是一种标准的可执行文件格式，在UNIX/Linux环境中非常常见。这种格式不仅用于可执行文件还用于共享库和目标代码。ELF文件格式定义了文件的结构布局包括程序头表、节头表、节区...
关于text段、data段和bss段
热门推荐
编程的本质是数学问题
01-01 1万+
根据APUE，程序分为下面的段：.text, data (initialized), bss, stack, heap。 data/bss/text: text段在内存中被映射为只读，但.data和.bss是可写的。 bss是英文Block Started by Symbol的简称，通常是指用来存放程序中未初始化的全局变量的一块内存区域，在程序载入时由内核清0。BSS段属于静态内存分配。它的
PowerPC指令集详解
07-02
PowerPC指令集详解，对于开发PowerPC UBOOT和vxworks bootrom bootloader的开发人员很有指导意义
看懂PowerPC汇编之指令集架构
weixin_33912453的博客
06-25 3025
看懂PowerPC汇编，需要如下3方面的知识： 1.PowerPC指令集架构即Power ISA，可以从Power.org获得，包括寄存器定义，数据模型，寻址方式和指令定义以及指令助记符； 2.PowerPC ABI即应用程序二进制接口，即寄存器的使用规范和栈调用结构； 3.PowerPC Pseudo-ops，即.text, .align n等汇编...
【zz】32位PowerPC常用指令集总结
pikaxuji的专栏
06-11 3282
第一部分 PowerPC 精简指令集计算机(RISC)简介 PowerPC 体系结构是一种精减指令集计算机（Reduced Instruction Set Computer，RISC）体系结构，定义了 200 多条指令。PowerPC 之所以是 RISC，原因在于大部分指令在一个单一的周期内执行，而且通常只执行一个单一的操作（比如将内存加载到寄存器，或者将寄存器数据存储到内存）。 Po
PowerPC基础知识
撒哈拉的绿洲
11-14 6637
1. PowerPC级别 PowerPC 体系结构分为三个级别（或者说是“book”）。通过对体系结构以这种方式进行划分，为实现可以选择价格/性能比平衡的复杂性级别留出了空间，同时还保持了实现间的代码兼容性。 Book I. 用户指令集体系结构 定义了通用于所有 PowerPC 实现的用户指令和寄存器的基本集合。这些是非特权指令，为大多数程序所用。 Book II. 虚拟环境体系结构 定...
程序的本质之三ELF文件中与符号（symbol）相关的section的定义
tanglinux
10-23 4617
操作系统：CentOS Linux release 7.7.1908 内核版本：3.10.0-1062.1.1.el7.x86_64 运行平台：x86_64 参考文献：http://refspecs.linuxfoundation.org/ 本文根据/usr/include/elf.h文件和程序编译的详细过程文中所述的tanglinux.c源码来分析可执行文件中与符号（symbol）...
powerPC4080制作启动文件和SSD读写测试
wangjie36的博客
04-06 2055
一，powerPC制作文件系统： 1, 准备工作 sudo mkdir /local/tftpboot/comx_p4080/ -p cd 4080/ sudo cp ./opt/* /opt/ -rf cp COMX_P4080_SRC_V100R00 ~/ -rf (然后原来位置的文件夹就没有用了，或者看成剪切过去的) 2，向文件系统中添加文件 cd ~/COMX_P4080_...
PowerPC上电复位的过程描述
若水心境的专栏
05-31 3240
说明：PowerPC 的启动不同于普通的CPU启动，由于其为了适应硬件系统的不同需求，设定了两类启动的地址跳转。而CPU的启动除了涉及到地址跳转的问题外，还牵扯启动源 的选择、硬件配置字的设定以及仿真器的配置等等相关一系列问题。在这系列博客中上述问题都会涉及到，本文重点描述关于启动地址的配置，并且结合 Vxworks操作系统的基础知识，讨论相关的参数、宏的配置。其实要充分实在的理解PowerPC的
PowerPC上的ELF可执行文件动态解析探秘
"本文详细介绍了PowerPC架构上的ELF可执行文件的符号解析过程，包括静态解析和动态解析，重点讨论了动态解析中的函数符号解析。文章涵盖了ELF文件格式、基本概念如Section、符号表、GOT（全局偏移量表）、PLT（过程...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值