Question

我有一个使用-fpie为ARM编译的代码模块，我想在首次执行时清除BSS。但是，当我引用BSS部分的开头和结尾的链接器脚本符号时，我得到的代码包含局部变量中的绝对地址。

这是我的汇编入口点：

.section entry_point

code_entry:
    # Save arguments to the stack
    push    {r0-r2}

    # Loop over the BSS section, set it all to 0
    mov     r0, #0
    ldr     r1, =__bss_start
    ldr     r2, =__bss_end
loop_bss:
    str     r0, [r1], #4
    cmp     r1, r2
    blt     loop_bss

    # Pop arguments from the stack
    pop     {r0-r2}

    # Branch to C code (which will return to caller on its own)
    b       startPICode

输出如下：

Disassembly of section .text:

00180000 <code_entry>:
  180000:   e92d0007    push    {r0, r1, r2}
  180004:   e3a00000    mov r0, #0
  180008:   e59f1014    ldr r1, [pc, #20]   ; 180024 <loop_bss+0x14>
  18000c:   e59f2014    ldr r2, [pc, #20]   ; 180028 <loop_bss+0x18>

00180010 <loop_bss>:
  180010:   e4810004    str r0, [r1], #4
  180014:   e1510002    cmp r1, r2
  180018:   bafffffc    blt 180010 <loop_bss>
  18001c:   e8bd0007    pop {r0, r1, r2}
  180020:   ea00189f    b   1862a4 <startPICode>
  180024:   00194360    andseq  r4, r9, r0, ror #6
  180028:   001950e8    andseq  r5, r9, r8, ror #1

Readelf表示我的ELF文件没有重定位。

我认为链接符号只是一个永远是绝对地址的整数吗？如果是这样，有没有办法在加载或执行时修复地址？或者是否有其他正确的方法来清除此代码的BSS？

编辑：添加一些readelf -s输出。这里是相关的.S文件以及与BSS有关的所有内容。

Symbol table '.symtab' contains 812 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 00180000     0 SECTION LOCAL  DEFAULT    1 
     2: 0019297c     0 SECTION LOCAL  DEFAULT    2 
     3: 00192994     0 SECTION LOCAL  DEFAULT    3 
     4: 001929b0     0 SECTION LOCAL  DEFAULT    4 
     5: 00193808     0 SECTION LOCAL  DEFAULT    5 
     6: 001942dc     0 SECTION LOCAL  DEFAULT    6 
     7: 00194350     0 SECTION LOCAL  DEFAULT    7 
     8: 00194358     0 SECTION LOCAL  DEFAULT    8 
     9: 0019435c     0 SECTION LOCAL  DEFAULT    9 
    10: 00194360     0 SECTION LOCAL  DEFAULT   10 
    11: 00194360     0 SECTION LOCAL  DEFAULT   11 
    12: 001950e8     0 SECTION LOCAL  DEFAULT   12 
    13: 001970f0     0 SECTION LOCAL  DEFAULT   13 
    14: 00000000     0 SECTION LOCAL  DEFAULT   14 
    15: 00000000     0 SECTION LOCAL  DEFAULT   15 
    16: 00000000     0 SECTION LOCAL  DEFAULT   16 
    17: 00000000     0 SECTION LOCAL  DEFAULT   17 
    18: 00000000     0 SECTION LOCAL  DEFAULT   18 
    19: 00000000     0 SECTION LOCAL  DEFAULT   19 
    20: 00000000     0 SECTION LOCAL  DEFAULT   20 
    21: 00000000     0 SECTION LOCAL  DEFAULT   21 
    22: 00000000     0 SECTION LOCAL  DEFAULT   22 
    23: 00000000     0 SECTION LOCAL  DEFAULT   23 
    24: 00000000     0 FILE    LOCAL  DEFAULT  ABS ./src/entry.o
    25: 00180000     0 NOTYPE  LOCAL  DEFAULT    1 code_entry
    26: 00180000     0 NOTYPE  LOCAL  DEFAULT    1 $a
    27: 00180010     0 NOTYPE  LOCAL  DEFAULT    1 loop_bss
    28: 00180024     0 NOTYPE  LOCAL  DEFAULT    1 $d
    29: 00000124     0 NOTYPE  LOCAL  DEFAULT   17 $d

   484: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __sbss_start

   525: 00193804     0 NOTYPE  GLOBAL DEFAULT    5 __sbss2_end

   555: 001950e8     0 NOTYPE  GLOBAL DEFAULT   11 __bss_end

   565: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __tbss_start

   581: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __sbss_end

   599: 00193804     0 NOTYPE  GLOBAL DEFAULT    5 __sbss2_start

   667: 00194360     0 NOTYPE  GLOBAL DEFAULT   11 __bss_start

   753: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __tbss_end

Answer 1

您的权利，您生成的代码无法重定位。为了使其可重定位，您将明确地使__bss_start和__bss_end的地址相对。例如：

.section entry_point

bss_start_rel:
    .word __bss_start__ - bss_start_rel
bss_end_rel:
    .word __bss_end__ - bss_start_rel

.global code_entry
code_entry:
    # Save arguments to the stack
    push    {r0-r2}

    # Loop over the BSS section, set it all to 0
    mov     r0, #0
    adr     r3, bss_start_rel 
    ldr     r1, bss_start_rel
    ldr     r2, bss_end_rel
    add     r1, r1, r3
    add     r2, r2, r3

    ...

ADR伪指令导致R3使用PC相对算术（例如bss_start_rel）加载sub r3, pc, #24的地址。这用作计算__bss_start__和__bss_end__位置的基础，其相对位置存储在bss_start_rel和bss_start_end。

在位置无关代码

1 个答案: