Ссылка на определенные линкером символы в позиционно-независимом коде
У меня есть модуль кода, скомпилированный для ARM с -fpie, и я хотел бы очистить 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
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 с адресом bss_start_rel используя относительную арифметику ПК (например, sub r3, pc, #24). Это используется в качестве базы для расчета местоположения __bss_start__ а также __bss_end__, чья относительная позиция хранится в bss_start_rel а также bss_start_end,