reloc.c revision 1.43 1 1.43 rafal /* $NetBSD: reloc.c,v 1.43 2001/12/13 21:41:58 rafal Exp $ */
2 1.1 cgd
3 1.1 cgd /*
4 1.1 cgd * Copyright 1996 John D. Polstra.
5 1.1 cgd * Copyright 1996 Matt Thomas <matt (at) 3am-software.com>
6 1.1 cgd * All rights reserved.
7 1.1 cgd *
8 1.1 cgd * Redistribution and use in source and binary forms, with or without
9 1.1 cgd * modification, are permitted provided that the following conditions
10 1.1 cgd * are met:
11 1.1 cgd * 1. Redistributions of source code must retain the above copyright
12 1.1 cgd * notice, this list of conditions and the following disclaimer.
13 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
14 1.1 cgd * notice, this list of conditions and the following disclaimer in the
15 1.1 cgd * documentation and/or other materials provided with the distribution.
16 1.1 cgd * 3. All advertising materials mentioning features or use of this software
17 1.1 cgd * must display the following acknowledgement:
18 1.1 cgd * This product includes software developed by John Polstra.
19 1.1 cgd * 4. The name of the author may not be used to endorse or promote products
20 1.1 cgd * derived from this software without specific prior written permission.
21 1.1 cgd *
22 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
23 1.1 cgd * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
24 1.1 cgd * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
25 1.1 cgd * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
26 1.1 cgd * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
27 1.1 cgd * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28 1.1 cgd * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29 1.1 cgd * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30 1.1 cgd * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
31 1.1 cgd * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 1.1 cgd */
33 1.1 cgd
34 1.1 cgd /*
35 1.1 cgd * Dynamic linker for ELF.
36 1.1 cgd *
37 1.1 cgd * John Polstra <jdp (at) polstra.com>.
38 1.1 cgd */
39 1.1 cgd
40 1.1 cgd #include <err.h>
41 1.1 cgd #include <errno.h>
42 1.1 cgd #include <fcntl.h>
43 1.1 cgd #include <stdarg.h>
44 1.1 cgd #include <stdio.h>
45 1.1 cgd #include <stdlib.h>
46 1.1 cgd #include <string.h>
47 1.1 cgd #include <unistd.h>
48 1.1 cgd #include <sys/types.h>
49 1.1 cgd #include <sys/mman.h>
50 1.1 cgd #include <dirent.h>
51 1.1 cgd
52 1.1 cgd #include "debug.h"
53 1.1 cgd #include "rtld.h"
54 1.1 cgd
55 1.14 pk #ifndef RTLD_INHIBIT_COPY_RELOCS
56 1.35 kleink static int _rtld_do_copy_relocation __P((const Obj_Entry *, const Elf_Rela *,
57 1.16 christos bool));
58 1.16 christos
59 1.4 christos /*
60 1.4 christos * XXX: These don't work for the alpha and i386; don't know about powerpc
61 1.4 christos * The alpha and the i386 avoid the problem by compiling everything PIC.
62 1.4 christos * These relocation are supposed to be writing the address of the
63 1.4 christos * function to be called on the bss.rel or bss.rela segment, but:
64 1.4 christos * - st_size == 0
65 1.4 christos * - on the i386 at least the call instruction is a direct call
66 1.4 christos * not an indirect call.
67 1.4 christos */
68 1.1 cgd static int
69 1.16 christos _rtld_do_copy_relocation(dstobj, rela, dodebug)
70 1.16 christos const Obj_Entry *dstobj;
71 1.35 kleink const Elf_Rela *rela;
72 1.16 christos bool dodebug;
73 1.1 cgd {
74 1.11 christos void *dstaddr = (void *)(dstobj->relocbase + rela->r_offset);
75 1.11 christos const Elf_Sym *dstsym = dstobj->symtab + ELF_R_SYM(rela->r_info);
76 1.11 christos const char *name = dstobj->strtab + dstsym->st_name;
77 1.11 christos unsigned long hash = _rtld_elf_hash(name);
78 1.11 christos size_t size = dstsym->st_size;
79 1.11 christos const void *srcaddr;
80 1.37 matt const Elf_Sym *srcsym = NULL;
81 1.11 christos Obj_Entry *srcobj;
82 1.11 christos
83 1.11 christos for (srcobj = dstobj->next; srcobj != NULL; srcobj = srcobj->next)
84 1.11 christos if ((srcsym = _rtld_symlook_obj(name, hash, srcobj,
85 1.11 christos false)) != NULL)
86 1.11 christos break;
87 1.11 christos
88 1.11 christos if (srcobj == NULL) {
89 1.11 christos _rtld_error("Undefined symbol \"%s\" referenced from COPY"
90 1.11 christos " relocation in %s", name, dstobj->path);
91 1.14 pk return (-1);
92 1.11 christos }
93 1.11 christos srcaddr = (const void *)(srcobj->relocbase + srcsym->st_value);
94 1.11 christos (void)memcpy(dstaddr, srcaddr, size);
95 1.18 christos rdbg(dodebug, ("COPY %s %s %s --> src=%p dst=%p *dst= %p size %ld",
96 1.11 christos dstobj->path, srcobj->path, name, (void *)srcaddr,
97 1.18 christos (void *)dstaddr, (void *)*(long *)dstaddr, (long)size));
98 1.14 pk return (0);
99 1.1 cgd }
100 1.14 pk #endif /* RTLD_INHIBIT_COPY_RELOCS */
101 1.11 christos
102 1.11 christos
103 1.1 cgd /*
104 1.1 cgd * Process the special R_xxx_COPY relocations in the main program. These
105 1.1 cgd * copy data from a shared object into a region in the main program's BSS
106 1.1 cgd * segment.
107 1.1 cgd *
108 1.1 cgd * Returns 0 on success, -1 on failure.
109 1.1 cgd */
110 1.1 cgd int
111 1.16 christos _rtld_do_copy_relocations(dstobj, dodebug)
112 1.16 christos const Obj_Entry *dstobj;
113 1.16 christos bool dodebug;
114 1.1 cgd {
115 1.14 pk #ifndef RTLD_INHIBIT_COPY_RELOCS
116 1.14 pk
117 1.14 pk /* COPY relocations are invalid elsewhere */
118 1.14 pk assert(dstobj->mainprog);
119 1.1 cgd
120 1.11 christos if (dstobj->rel != NULL) {
121 1.11 christos const Elf_Rel *rel;
122 1.11 christos for (rel = dstobj->rel; rel < dstobj->rellim; ++rel) {
123 1.11 christos if (ELF_R_TYPE(rel->r_info) == R_TYPE(COPY)) {
124 1.35 kleink Elf_Rela ourrela;
125 1.11 christos ourrela.r_info = rel->r_info;
126 1.11 christos ourrela.r_offset = rel->r_offset;
127 1.11 christos ourrela.r_addend = 0;
128 1.11 christos if (_rtld_do_copy_relocation(dstobj,
129 1.11 christos &ourrela, dodebug) < 0)
130 1.14 pk return (-1);
131 1.11 christos }
132 1.11 christos }
133 1.11 christos }
134 1.11 christos if (dstobj->rela != NULL) {
135 1.35 kleink const Elf_Rela *rela;
136 1.11 christos for (rela = dstobj->rela; rela < dstobj->relalim; ++rela) {
137 1.11 christos if (ELF_R_TYPE(rela->r_info) == R_TYPE(COPY)) {
138 1.11 christos if (_rtld_do_copy_relocation(dstobj, rela,
139 1.11 christos dodebug) < 0)
140 1.14 pk return (-1);
141 1.11 christos }
142 1.11 christos }
143 1.1 cgd }
144 1.14 pk #endif /* RTLD_INHIBIT_COPY_RELOCS */
145 1.1 cgd
146 1.14 pk return (0);
147 1.1 cgd }
148 1.9 pk
149 1.9 pk
150 1.36 fvdl #if !defined(__sparc__) && !defined(__x86_64__)
151 1.34 christos
152 1.34 christos #if defined(__alpha__) || defined(__i386__) || defined(__m68k__)
153 1.34 christos extern Elf_Addr _GLOBAL_OFFSET_TABLE_[];
154 1.34 christos extern Elf_Dyn _DYNAMIC;
155 1.34 christos #endif
156 1.34 christos
157 1.11 christos int
158 1.16 christos _rtld_relocate_nonplt_object(obj, rela, dodebug)
159 1.23 mycroft Obj_Entry *obj;
160 1.35 kleink const Elf_Rela *rela;
161 1.16 christos bool dodebug;
162 1.9 pk {
163 1.11 christos Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
164 1.11 christos const Elf_Sym *def;
165 1.9 pk const Obj_Entry *defobj;
166 1.37 matt #if defined(__alpha__) || defined(__arm__) || defined(__i386__) || \
167 1.37 matt defined(__m68k__) || defined(__powerpc__) || defined(__vax__)
168 1.11 christos Elf_Addr tmp;
169 1.17 jonathan #endif
170 1.9 pk
171 1.11 christos switch (ELF_R_TYPE(rela->r_info)) {
172 1.9 pk
173 1.11 christos case R_TYPE(NONE):
174 1.11 christos break;
175 1.9 pk
176 1.24 itohy #if defined(__i386__)
177 1.11 christos case R_TYPE(GOT32):
178 1.9 pk
179 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
180 1.11 christos &defobj, false);
181 1.11 christos if (def == NULL)
182 1.11 christos return -1;
183 1.9 pk
184 1.11 christos tmp = (Elf_Addr)(defobj->relocbase + def->st_value);
185 1.11 christos if (*where != tmp)
186 1.11 christos *where = tmp;
187 1.16 christos rdbg(dodebug, ("GOT32 %s in %s --> %p in %s",
188 1.11 christos defobj->strtab + def->st_name, obj->path,
189 1.16 christos (void *)*where, defobj->path));
190 1.11 christos break;
191 1.9 pk
192 1.11 christos case R_TYPE(PC32):
193 1.11 christos /*
194 1.11 christos * I don't think the dynamic linker should ever see this
195 1.11 christos * type of relocation. But the binutils-2.6 tools sometimes
196 1.11 christos * generate it.
197 1.11 christos */
198 1.9 pk
199 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
200 1.11 christos &defobj, false);
201 1.11 christos if (def == NULL)
202 1.11 christos return -1;
203 1.9 pk
204 1.11 christos *where += (Elf_Addr)(defobj->relocbase + def->st_value) -
205 1.11 christos (Elf_Addr)where;
206 1.16 christos rdbg(dodebug, ("PC32 %s in %s --> %p in %s",
207 1.11 christos defobj->strtab + def->st_name, obj->path,
208 1.16 christos (void *)*where, defobj->path));
209 1.11 christos break;
210 1.11 christos
211 1.11 christos case R_TYPE(32):
212 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
213 1.11 christos &defobj, false);
214 1.11 christos if (def == NULL)
215 1.11 christos return -1;
216 1.9 pk
217 1.11 christos *where += (Elf_Addr)(defobj->relocbase + def->st_value);
218 1.16 christos rdbg(dodebug, ("32 %s in %s --> %p in %s",
219 1.11 christos defobj->strtab + def->st_name, obj->path,
220 1.16 christos (void *)*where, defobj->path));
221 1.11 christos break;
222 1.24 itohy #endif /* __i386__ */
223 1.24 itohy
224 1.24 itohy #if defined(__m68k__)
225 1.24 itohy case R_TYPE(GOT32):
226 1.24 itohy def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
227 1.24 itohy &defobj, false);
228 1.24 itohy if (def == NULL)
229 1.24 itohy return -1;
230 1.24 itohy
231 1.24 itohy tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
232 1.24 itohy rela->r_addend);
233 1.24 itohy if (*where != tmp)
234 1.24 itohy *where = tmp;
235 1.24 itohy rdbg(dodebug, ("GOT32 %s in %s --> %p in %s",
236 1.24 itohy defobj->strtab + def->st_name, obj->path,
237 1.24 itohy (void *)*where, defobj->path));
238 1.24 itohy break;
239 1.24 itohy
240 1.24 itohy case R_TYPE(PC32):
241 1.24 itohy def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
242 1.24 itohy &defobj, false);
243 1.24 itohy if (def == NULL)
244 1.24 itohy return -1;
245 1.24 itohy
246 1.24 itohy tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
247 1.24 itohy rela->r_addend) - (Elf_Addr)where;
248 1.24 itohy if (*where != tmp)
249 1.24 itohy *where = tmp;
250 1.24 itohy rdbg(dodebug, ("PC32 %s in %s --> %p in %s",
251 1.24 itohy defobj->strtab + def->st_name, obj->path,
252 1.24 itohy (void *)*where, defobj->path));
253 1.24 itohy break;
254 1.24 itohy
255 1.24 itohy case R_TYPE(32):
256 1.24 itohy def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
257 1.24 itohy &defobj, false);
258 1.24 itohy if (def == NULL)
259 1.24 itohy return -1;
260 1.24 itohy
261 1.24 itohy tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
262 1.24 itohy rela->r_addend);
263 1.24 itohy if (*where != tmp)
264 1.24 itohy *where = tmp;
265 1.24 itohy rdbg(dodebug, ("32 %s in %s --> %p in %s",
266 1.24 itohy defobj->strtab + def->st_name, obj->path,
267 1.24 itohy (void *)*where, defobj->path));
268 1.24 itohy break;
269 1.24 itohy #endif /* __m68k__ */
270 1.4 christos
271 1.21 matt #if defined(__alpha__)
272 1.11 christos case R_TYPE(REFQUAD):
273 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
274 1.11 christos &defobj, false);
275 1.11 christos if (def == NULL)
276 1.11 christos return -1;
277 1.1 cgd
278 1.11 christos tmp = (Elf_Addr)(defobj->relocbase + def->st_value) +
279 1.11 christos *where + rela->r_addend;
280 1.12 tv if (*where != tmp)
281 1.12 tv *where = tmp;
282 1.16 christos rdbg(dodebug, ("REFQUAD %s in %s --> %p in %s",
283 1.11 christos defobj->strtab + def->st_name, obj->path,
284 1.16 christos (void *)*where, defobj->path));
285 1.11 christos break;
286 1.4 christos #endif /* __alpha__ */
287 1.1 cgd
288 1.20 kleink #if defined(__alpha__) || defined(__i386__) || defined(__m68k__)
289 1.11 christos case R_TYPE(GLOB_DAT):
290 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
291 1.11 christos &defobj, false);
292 1.11 christos if (def == NULL)
293 1.11 christos return -1;
294 1.1 cgd
295 1.11 christos if (*where != (Elf_Addr)(defobj->relocbase + def->st_value))
296 1.11 christos *where = (Elf_Addr)(defobj->relocbase + def->st_value);
297 1.16 christos rdbg(dodebug, ("GLOB_DAT %s in %s --> %p in %s",
298 1.11 christos defobj->strtab + def->st_name, obj->path,
299 1.16 christos (void *)*where, defobj->path));
300 1.11 christos break;
301 1.11 christos
302 1.11 christos case R_TYPE(RELATIVE):
303 1.19 christos if (!dodebug ||
304 1.19 christos (caddr_t)where < (caddr_t)_GLOBAL_OFFSET_TABLE_ ||
305 1.11 christos (caddr_t)where >= (caddr_t)&_DYNAMIC) {
306 1.11 christos *where += (Elf_Addr)obj->relocbase;
307 1.16 christos rdbg(dodebug, ("RELATIVE in %s --> %p", obj->path,
308 1.16 christos (void *)*where));
309 1.11 christos }
310 1.11 christos else
311 1.16 christos rdbg(dodebug, ("RELATIVE in %s stays at %p",
312 1.16 christos obj->path, (void *)*where));
313 1.11 christos break;
314 1.1 cgd
315 1.11 christos case R_TYPE(COPY):
316 1.11 christos /*
317 1.11 christos * These are deferred until all other relocations have
318 1.11 christos * been done. All we do here is make sure that the COPY
319 1.11 christos * relocation is not in a shared library. They are allowed
320 1.11 christos * only in executable files.
321 1.11 christos */
322 1.11 christos if (!obj->mainprog) {
323 1.11 christos _rtld_error(
324 1.11 christos "%s: Unexpected R_COPY relocation in shared library",
325 1.11 christos obj->path);
326 1.11 christos return -1;
327 1.11 christos }
328 1.16 christos rdbg(dodebug, ("COPY (avoid in main)"));
329 1.11 christos break;
330 1.28 matt #endif /* __i386__ || __alpha__ || __m68k__ */
331 1.2 mhitch
332 1.21 matt #if defined(__mips__)
333 1.11 christos case R_TYPE(REL32):
334 1.11 christos /* 32-bit PC-relative reference */
335 1.11 christos def = obj->symtab + ELF_R_SYM(rela->r_info);
336 1.11 christos
337 1.22 simonb if (ELFDEFNNAME(ST_BIND)(def->st_info) == STB_LOCAL &&
338 1.22 simonb (ELFDEFNNAME(ST_TYPE)(def->st_info) == STT_SECTION ||
339 1.22 simonb ELFDEFNNAME(ST_TYPE)(def->st_info) == STT_NOTYPE)) {
340 1.43 rafal /*
341 1.43 rafal * XXX: ABI DIFFERENCE!
342 1.43 rafal *
343 1.43 rafal * Old NetBSD binutils would generate shared libs
344 1.43 rafal * with section-relative relocations being already
345 1.43 rafal * adjusted for the start address of the section.
346 1.43 rafal *
347 1.43 rafal * New binutils, OTOH, generate shared libs with
348 1.43 rafal * the same relocations being based at zero, so we
349 1.43 rafal * need to add in the start address of the section.
350 1.43 rafal *
351 1.43 rafal * We assume that all section-relative relocs with
352 1.43 rafal * contents less than the start of the section need
353 1.43 rafal * to be adjusted; this should work with both old
354 1.43 rafal * and new shlibs.
355 1.43 rafal *
356 1.43 rafal * --rkb, Oct 6, 2001
357 1.43 rafal */
358 1.43 rafal if (def->st_info == STT_SECTION &&
359 1.43 rafal (*where < def->st_value))
360 1.43 rafal *where += (Elf_Addr) def->st_value;
361 1.43 rafal
362 1.11 christos *where += (Elf_Addr)obj->relocbase;
363 1.43 rafal
364 1.43 rafal rdbg(dodebug, ("REL32 %s in %s --> %p in %s",
365 1.43 rafal obj->strtab + def->st_name, obj->path,
366 1.43 rafal (void *)*where, obj->path));
367 1.11 christos } else {
368 1.11 christos /* XXX maybe do something re: bootstrapping? */
369 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info,
370 1.11 christos NULL, obj, &defobj, false);
371 1.11 christos if (def == NULL)
372 1.11 christos return -1;
373 1.11 christos *where += (Elf_Addr)(defobj->relocbase + def->st_value);
374 1.16 christos rdbg(dodebug, ("REL32 %s in %s --> %p in %s",
375 1.11 christos defobj->strtab + def->st_name, obj->path,
376 1.16 christos (void *)*where, defobj->path));
377 1.11 christos }
378 1.11 christos break;
379 1.2 mhitch
380 1.11 christos #endif /* __mips__ */
381 1.1 cgd
382 1.21 matt #if defined(__powerpc__) || defined(__vax__)
383 1.11 christos case R_TYPE(32): /* word32 S + A */
384 1.11 christos case R_TYPE(GLOB_DAT): /* word32 S + A */
385 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
386 1.11 christos &defobj, false);
387 1.11 christos if (def == NULL)
388 1.11 christos return -1;
389 1.3 tsubai
390 1.11 christos tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
391 1.11 christos rela->r_addend);
392 1.3 tsubai
393 1.11 christos if (*where != tmp)
394 1.11 christos *where = tmp;
395 1.16 christos rdbg(dodebug, ("32/GLOB_DAT %s in %s --> %p in %s",
396 1.11 christos defobj->strtab + def->st_name, obj->path,
397 1.16 christos (void *)*where, defobj->path));
398 1.11 christos break;
399 1.11 christos
400 1.11 christos case R_TYPE(COPY):
401 1.16 christos rdbg(dodebug, ("COPY"));
402 1.11 christos break;
403 1.11 christos
404 1.11 christos case R_TYPE(JMP_SLOT):
405 1.16 christos rdbg(dodebug, ("JMP_SLOT"));
406 1.11 christos break;
407 1.11 christos
408 1.11 christos case R_TYPE(RELATIVE): /* word32 B + A */
409 1.11 christos tmp = (Elf_Addr)(obj->relocbase + rela->r_addend);
410 1.21 matt if (*where != tmp)
411 1.21 matt *where = tmp;
412 1.16 christos rdbg(dodebug, ("RELATIVE in %s --> %p", obj->path,
413 1.16 christos (void *)*where));
414 1.11 christos break;
415 1.21 matt #endif /* __powerpc__ || __vax__ */
416 1.26 kleink
417 1.26 kleink #if defined(__powerpc__)
418 1.26 kleink case R_TYPE(16_LO): /* #lo(S + A) */
419 1.26 kleink tmp = (Elf_Addr)(obj->relocbase + rela->r_addend);
420 1.26 kleink if (*(Elf32_Half *)where != tmp)
421 1.26 kleink *(Elf32_Half *)where = tmp;
422 1.26 kleink rdbg(dodebug, ("16_LO in %s --> %p", obj->path,
423 1.26 kleink (void *)*where));
424 1.26 kleink break;
425 1.26 kleink
426 1.26 kleink case R_TYPE(16_HI): /* #hi(S + A) */
427 1.26 kleink tmp = (Elf_Addr)(obj->relocbase + rela->r_addend) >> 16;
428 1.26 kleink if (*(Elf32_Half *)where != tmp)
429 1.26 kleink *(Elf32_Half *)where = tmp;
430 1.26 kleink rdbg(dodebug, ("16_HI in %s --> %p", obj->path,
431 1.26 kleink (void *)*where));
432 1.26 kleink break;
433 1.26 kleink
434 1.26 kleink case R_TYPE(16_HA): /* #ha(S + A) */
435 1.26 kleink tmp = (Elf_Addr)(obj->relocbase + rela->r_addend + 0x8000)
436 1.26 kleink >> 16;
437 1.26 kleink if (*(Elf32_Half *)where != tmp)
438 1.26 kleink *(Elf32_Half *)where = tmp;
439 1.26 kleink rdbg(dodebug, ("16_HA in %s --> %p", obj->path,
440 1.26 kleink (void *)*where));
441 1.26 kleink break;
442 1.26 kleink #endif /* __powerpc__ */
443 1.37 matt
444 1.37 matt #if defined(__arm__)
445 1.37 matt case R_TYPE(GLOB_DAT): /* word32 B + S */
446 1.37 matt def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
447 1.37 matt &defobj, false);
448 1.37 matt if (def == NULL)
449 1.37 matt return -1;
450 1.37 matt *where = (Elf_Addr)(defobj->relocbase + def->st_value);
451 1.40 matt rdbg(dodebug, ("GLOB_DAT %s in %s --> %p @ %p in %s",
452 1.37 matt defobj->strtab + def->st_name, obj->path,
453 1.40 matt (void *)*where, where, defobj->path));
454 1.37 matt break;
455 1.37 matt
456 1.37 matt case R_TYPE(COPY):
457 1.37 matt rdbg(dodebug, ("COPY"));
458 1.37 matt break;
459 1.37 matt
460 1.37 matt case R_TYPE(JUMP_SLOT):
461 1.37 matt rdbg(dodebug, ("JUMP_SLOT"));
462 1.37 matt break;
463 1.37 matt
464 1.37 matt case R_TYPE(ABS32): /* word32 B + S + A */
465 1.37 matt def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
466 1.37 matt &defobj, false);
467 1.37 matt if (def == NULL)
468 1.37 matt return -1;
469 1.40 matt *where += (Elf_Addr)defobj->relocbase + def->st_value;
470 1.40 matt rdbg(dodebug, ("ABS32 %s in %s --> %p @ %p in %s",
471 1.37 matt defobj->strtab + def->st_name, obj->path,
472 1.40 matt (void *)*where, where, defobj->path));
473 1.37 matt break;
474 1.37 matt
475 1.37 matt case R_TYPE(RELATIVE): /* word32 B + A */
476 1.37 matt *where += (Elf_Addr)obj->relocbase;
477 1.40 matt rdbg(dodebug, ("RELATIVE in %s --> %p @ %p", obj->path,
478 1.40 matt (void *)*where, where));
479 1.37 matt break;
480 1.37 matt
481 1.37 matt case R_TYPE(PC24): { /* word32 S - P + A */
482 1.37 matt Elf32_Sword addend;
483 1.37 matt
484 1.37 matt /*
485 1.37 matt * Extract addend and sign-extend if needed.
486 1.37 matt */
487 1.37 matt addend = *where;
488 1.37 matt if (addend & 0x00800000)
489 1.37 matt addend |= 0xff000000;
490 1.37 matt
491 1.37 matt def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
492 1.37 matt &defobj, false);
493 1.37 matt if (def == NULL)
494 1.37 matt return -1;
495 1.37 matt tmp = (Elf_Addr)obj->relocbase + def->st_value
496 1.37 matt - (Elf_Addr)where + (addend << 2);
497 1.37 matt if ((tmp & 0xfe000000) != 0xfe000000 && (tmp & 0xfe000000) != 0) {
498 1.37 matt _rtld_error(
499 1.37 matt "%s: R_ARM_PC24 relocation @ %p to %s failed "
500 1.37 matt "(displacement %ld (%#lx) out of range)",
501 1.37 matt obj->path, where, defobj->strtab + def->st_name,
502 1.37 matt (long) tmp, (long) tmp);
503 1.37 matt return -1;
504 1.37 matt }
505 1.37 matt tmp >>= 2;
506 1.37 matt *where = (*where & 0xff000000) | (tmp & 0x00ffffff);
507 1.40 matt rdbg(dodebug, ("PC24 %s in %s --> %p @ %p in %s",
508 1.37 matt defobj->strtab + def->st_name, obj->path,
509 1.40 matt (void *)*where, where, defobj->path));
510 1.37 matt break;
511 1.37 matt }
512 1.37 matt #endif
513 1.21 matt
514 1.11 christos default:
515 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
516 1.11 christos &defobj, true);
517 1.16 christos rdbg(dodebug, ("sym = %lu, type = %lu, offset = %p, "
518 1.11 christos "addend = %p, contents = %p, symbol = %s",
519 1.11 christos (u_long)ELF_R_SYM(rela->r_info),
520 1.11 christos (u_long)ELF_R_TYPE(rela->r_info),
521 1.11 christos (void *)rela->r_offset, (void *)rela->r_addend,
522 1.11 christos (void *)*where,
523 1.16 christos def ? defobj->strtab + def->st_name : "??"));
524 1.33 dan _rtld_error("%s: Unsupported relocation type %ld "
525 1.11 christos "in non-PLT relocations\n",
526 1.33 dan obj->path, (u_long) ELF_R_TYPE(rela->r_info));
527 1.11 christos return -1;
528 1.11 christos }
529 1.11 christos return 0;
530 1.1 cgd }
531 1.9 pk
532 1.9 pk
533 1.42 mycroft #if !defined(__powerpc__)
534 1.9 pk
535 1.11 christos int
536 1.16 christos _rtld_relocate_plt_object(obj, rela, addrp, bind_now, dodebug)
537 1.23 mycroft Obj_Entry *obj;
538 1.35 kleink const Elf_Rela *rela;
539 1.16 christos caddr_t *addrp;
540 1.16 christos bool bind_now;
541 1.16 christos bool dodebug;
542 1.1 cgd {
543 1.16 christos Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
544 1.16 christos Elf_Addr new_value;
545 1.1 cgd
546 1.11 christos /* Fully resolve procedure addresses now */
547 1.2 mhitch
548 1.39 matt #if defined(__alpha__) || defined(__arm__) || defined(__i386__) || \
549 1.39 matt defined(__m68k__) || defined(__vax__)
550 1.11 christos if (bind_now || obj->pltgot == NULL) {
551 1.11 christos const Elf_Sym *def;
552 1.11 christos const Obj_Entry *defobj;
553 1.11 christos
554 1.39 matt #if !defined(__arm__)
555 1.11 christos assert(ELF_R_TYPE(rela->r_info) == R_TYPE(JMP_SLOT));
556 1.39 matt #else
557 1.39 matt assert(ELF_R_TYPE(rela->r_info) == R_TYPE(JUMP_SLOT));
558 1.39 matt #endif
559 1.1 cgd
560 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
561 1.11 christos &defobj, true);
562 1.11 christos if (def == NULL)
563 1.11 christos return -1;
564 1.1 cgd
565 1.11 christos new_value = (Elf_Addr)(defobj->relocbase + def->st_value);
566 1.29 matt #if defined(__vax__)
567 1.29 matt new_value += rela->r_addend;
568 1.29 matt #endif
569 1.16 christos rdbg(dodebug, ("bind now %d/fixup in %s --> old=%p new=%p",
570 1.11 christos (int)bind_now,
571 1.11 christos defobj->strtab + def->st_name,
572 1.16 christos (void *)*where, (void *)new_value));
573 1.11 christos } else
574 1.21 matt #endif /* __alpha__ || __i386__ || __m68k__ || __vax__ */
575 1.11 christos if (!obj->mainprog) {
576 1.11 christos /* Just relocate the GOT slots pointing into the PLT */
577 1.11 christos new_value = *where + (Elf_Addr)(obj->relocbase);
578 1.16 christos rdbg(dodebug, ("fixup !main in %s --> %p", obj->path,
579 1.16 christos (void *)*where));
580 1.11 christos } else {
581 1.11 christos return 0;
582 1.11 christos }
583 1.11 christos /*
584 1.11 christos * Since this page is probably copy-on-write, let's not write
585 1.11 christos * it unless we really really have to.
586 1.11 christos */
587 1.11 christos if (*where != new_value)
588 1.11 christos *where = new_value;
589 1.29 matt if (addrp != NULL) {
590 1.11 christos *addrp = *(caddr_t *)(obj->relocbase + rela->r_offset);
591 1.29 matt #if defined(__vax__)
592 1.29 matt *addrp -= rela->r_addend;
593 1.29 matt #endif
594 1.29 matt }
595 1.7 tv return 0;
596 1.1 cgd }
597 1.42 mycroft
598 1.42 mycroft #endif /* __powerpc__ */
599 1.42 mycroft
600 1.42 mycroft #endif /* __sparc__ || __x86_64__ */
601 1.9 pk
602 1.1 cgd caddr_t
603 1.16 christos _rtld_bind(obj, reloff)
604 1.23 mycroft Obj_Entry *obj;
605 1.16 christos Elf_Word reloff;
606 1.1 cgd {
607 1.35 kleink const Elf_Rela *rela;
608 1.35 kleink Elf_Rela ourrela;
609 1.11 christos caddr_t addr;
610 1.1 cgd
611 1.11 christos if (obj->pltrel != NULL) {
612 1.11 christos const Elf_Rel *rel;
613 1.1 cgd
614 1.11 christos rel = (const Elf_Rel *)((caddr_t) obj->pltrel + reloff);
615 1.11 christos ourrela.r_info = rel->r_info;
616 1.11 christos ourrela.r_offset = rel->r_offset;
617 1.28 matt ourrela.r_addend = 0;
618 1.11 christos rela = &ourrela;
619 1.11 christos } else {
620 1.35 kleink rela = (const Elf_Rela *)((caddr_t) obj->pltrela + reloff);
621 1.41 eeh #ifdef __sparc64__
622 1.41 eeh if (ELF_R_TYPE(obj->pltrela->r_info) == R_TYPE(JMP_SLOT)) {
623 1.41 eeh /*
624 1.41 eeh * XXXX
625 1.41 eeh *
626 1.41 eeh * The first for PLT entries are reserved. There
627 1.41 eeh * is some disagreement whether they should have
628 1.41 eeh * associated relocation entries. Both the SPARC
629 1.41 eeh * 32-bit and 64-bit ELF specifications say that
630 1.41 eeh * they should have relocation entries, but the
631 1.41 eeh * 32-bit SPARC binutils do not generate them,
632 1.41 eeh * and now the 64-bit SPARC binutils have stopped
633 1.41 eeh * generating them too.
634 1.41 eeh *
635 1.41 eeh * So, to provide binary compatibility, we will
636 1.41 eeh * check the first entry, if it is reserved it
637 1.41 eeh * should not be of the type JMP_SLOT. If it
638 1.41 eeh * is JMP_SLOT, then the 4 reserved entries were
639 1.41 eeh * not generated and our index is 4 entries too far.
640 1.41 eeh */
641 1.41 eeh rela -= 4;
642 1.41 eeh }
643 1.41 eeh #endif
644 1.11 christos }
645 1.11 christos
646 1.11 christos if (_rtld_relocate_plt_object(obj, rela, &addr, true, true) < 0)
647 1.11 christos _rtld_die();
648 1.1 cgd
649 1.11 christos return addr;
650 1.1 cgd }
651 1.9 pk
652 1.1 cgd /*
653 1.1 cgd * Relocate newly-loaded shared objects. The argument is a pointer to
654 1.1 cgd * the Obj_Entry for the first such object. All objects from the first
655 1.1 cgd * to the end of the list of objects are relocated. Returns 0 on success,
656 1.1 cgd * or -1 on failure.
657 1.1 cgd */
658 1.1 cgd int
659 1.16 christos _rtld_relocate_objects(first, bind_now, dodebug)
660 1.16 christos Obj_Entry *first;
661 1.16 christos bool bind_now;
662 1.16 christos bool dodebug;
663 1.1 cgd {
664 1.16 christos Obj_Entry *obj;
665 1.16 christos int ok = 1;
666 1.1 cgd
667 1.11 christos for (obj = first; obj != NULL; obj = obj->next) {
668 1.16 christos if (obj->nbuckets == 0 || obj->nchains == 0 ||
669 1.16 christos obj->buckets == NULL || obj->symtab == NULL ||
670 1.16 christos obj->strtab == NULL) {
671 1.11 christos _rtld_error("%s: Shared object has no run-time"
672 1.11 christos " symbol table", obj->path);
673 1.11 christos return -1;
674 1.11 christos }
675 1.16 christos rdbg(dodebug, (" relocating %s (%ld/%ld rel/rela, "
676 1.11 christos "%ld/%ld plt rel/rela)",
677 1.11 christos obj->path,
678 1.11 christos (long)(obj->rellim - obj->rel),
679 1.11 christos (long)(obj->relalim - obj->rela),
680 1.11 christos (long)(obj->pltrellim - obj->pltrel),
681 1.16 christos (long)(obj->pltrelalim - obj->pltrela)));
682 1.11 christos
683 1.11 christos if (obj->textrel) {
684 1.11 christos /*
685 1.11 christos * There are relocations to the write-protected text
686 1.11 christos * segment.
687 1.11 christos */
688 1.11 christos if (mprotect(obj->mapbase, obj->textsize,
689 1.11 christos PROT_READ | PROT_WRITE | PROT_EXEC) == -1) {
690 1.11 christos _rtld_error("%s: Cannot write-enable text "
691 1.11 christos "segment: %s", obj->path, xstrerror(errno));
692 1.11 christos return -1;
693 1.11 christos }
694 1.11 christos }
695 1.11 christos if (obj->rel != NULL) {
696 1.11 christos /* Process the non-PLT relocations. */
697 1.11 christos const Elf_Rel *rel;
698 1.11 christos for (rel = obj->rel; rel < obj->rellim; ++rel) {
699 1.35 kleink Elf_Rela ourrela;
700 1.11 christos ourrela.r_info = rel->r_info;
701 1.11 christos ourrela.r_offset = rel->r_offset;
702 1.2 mhitch #if defined(__mips__)
703 1.11 christos /* rel->r_offset is not valid on mips? */
704 1.11 christos if (ELF_R_TYPE(ourrela.r_info) == R_TYPE(NONE))
705 1.11 christos ourrela.r_addend = 0;
706 1.11 christos else
707 1.11 christos #endif
708 1.11 christos ourrela.r_addend =
709 1.11 christos *(Elf_Word *)(obj->relocbase +
710 1.11 christos rel->r_offset);
711 1.11 christos
712 1.11 christos if (_rtld_relocate_nonplt_object(obj, &ourrela,
713 1.11 christos dodebug) < 0)
714 1.11 christos ok = 0;
715 1.11 christos }
716 1.11 christos }
717 1.11 christos if (obj->rela != NULL) {
718 1.11 christos /* Process the non-PLT relocations. */
719 1.35 kleink const Elf_Rela *rela;
720 1.11 christos for (rela = obj->rela; rela < obj->relalim; ++rela) {
721 1.11 christos if (_rtld_relocate_nonplt_object(obj, rela,
722 1.11 christos dodebug) < 0)
723 1.11 christos ok = 0;
724 1.11 christos }
725 1.11 christos }
726 1.11 christos if (obj->textrel) { /* Re-protected the text segment. */
727 1.11 christos if (mprotect(obj->mapbase, obj->textsize,
728 1.11 christos PROT_READ | PROT_EXEC) == -1) {
729 1.11 christos _rtld_error("%s: Cannot write-protect text "
730 1.11 christos "segment: %s", obj->path, xstrerror(errno));
731 1.11 christos return -1;
732 1.11 christos }
733 1.11 christos }
734 1.11 christos /* Process the PLT relocations. */
735 1.11 christos if (obj->pltrel != NULL) {
736 1.11 christos const Elf_Rel *rel;
737 1.11 christos for (rel = obj->pltrel; rel < obj->pltrellim; ++rel) {
738 1.35 kleink Elf_Rela ourrela;
739 1.11 christos ourrela.r_info = rel->r_info;
740 1.11 christos ourrela.r_offset = rel->r_offset;
741 1.11 christos ourrela.r_addend =
742 1.11 christos *(Elf_Word *)(obj->relocbase +
743 1.11 christos rel->r_offset);
744 1.11 christos if (_rtld_relocate_plt_object(obj, &ourrela,
745 1.11 christos NULL, bind_now, dodebug) < 0)
746 1.11 christos ok = 0;
747 1.11 christos }
748 1.11 christos }
749 1.11 christos if (obj->pltrela != NULL) {
750 1.35 kleink const Elf_Rela *rela;
751 1.11 christos for (rela = obj->pltrela; rela < obj->pltrelalim;
752 1.11 christos ++rela) {
753 1.11 christos if (_rtld_relocate_plt_object(obj, rela,
754 1.11 christos NULL, bind_now, dodebug) < 0)
755 1.11 christos ok = 0;
756 1.11 christos }
757 1.11 christos }
758 1.11 christos if (!ok)
759 1.11 christos return -1;
760 1.11 christos
761 1.11 christos
762 1.11 christos /* Set some sanity-checking numbers in the Obj_Entry. */
763 1.11 christos obj->magic = RTLD_MAGIC;
764 1.11 christos obj->version = RTLD_VERSION;
765 1.11 christos
766 1.11 christos /* Fill in the dynamic linker entry points. */
767 1.11 christos obj->dlopen = _rtld_dlopen;
768 1.11 christos obj->dlsym = _rtld_dlsym;
769 1.11 christos obj->dlerror = _rtld_dlerror;
770 1.11 christos obj->dlclose = _rtld_dlclose;
771 1.25 scottb obj->dladdr = _rtld_dladdr;
772 1.1 cgd
773 1.11 christos /* Set the special PLTGOT entries. */
774 1.11 christos if (obj->pltgot != NULL) {
775 1.38 matt #if defined(__arm__) || defined(__i386__) || defined(__m68k__) || \
776 1.38 matt defined(__x86_64__)
777 1.11 christos obj->pltgot[1] = (Elf_Addr) obj;
778 1.11 christos obj->pltgot[2] = (Elf_Addr) & _rtld_bind_start;
779 1.1 cgd #endif
780 1.1 cgd #if defined(__alpha__)
781 1.11 christos /*
782 1.11 christos * This function will be called to perform the
783 1.11 christos * relocation.
784 1.11 christos */
785 1.11 christos obj->pltgot[2] = (Elf_Addr) & _rtld_bind_start;
786 1.11 christos /* Identify this shared object */
787 1.11 christos obj->pltgot[3] = (Elf_Addr) obj;
788 1.2 mhitch #endif
789 1.2 mhitch #if defined(__mips__)
790 1.11 christos _rtld_relocate_mips_got(obj);
791 1.2 mhitch
792 1.11 christos obj->pltgot[0] = (Elf_Addr) & _rtld_bind_start;
793 1.11 christos /* XXX only if obj->pltgot[1] & 0x80000000 ?? */
794 1.11 christos obj->pltgot[1] |= (Elf_Addr) obj;
795 1.3 tsubai #endif
796 1.3 tsubai #if defined(__powerpc__)
797 1.11 christos _rtld_setup_powerpc_plt(obj);
798 1.9 pk #endif
799 1.9 pk #if defined(__sparc__)
800 1.31 mycroft #if defined(__arch64__) || defined(__sparc_v9__)
801 1.27 eeh /*
802 1.27 eeh * On sparc64 we got troubles.
803 1.27 eeh *
804 1.27 eeh * Instructions are 4 bytes long.
805 1.27 eeh * Elf[64]_Addr is 8 bytes long, so are our pltglot[]
806 1.27 eeh * array entries.
807 1.27 eeh * Each PLT entry jumps to PLT0 to enter the dynamic
808 1.27 eeh * linker.
809 1.27 eeh * Loading an arbitrary 64-bit pointer takes 6
810 1.27 eeh * instructions and 2 registers.
811 1.27 eeh *
812 1.27 eeh * Somehow we need to issue a save to get a new stack
813 1.27 eeh * frame, load the address of the dynamic linker, and
814 1.27 eeh * jump there, in 8 instructions or less.
815 1.27 eeh *
816 1.27 eeh * Oh, we need to fill out both PLT0 and PLT1.
817 1.27 eeh */
818 1.27 eeh {
819 1.31 mycroft Elf_Word *entry = (Elf_Word *)obj->pltgot;
820 1.31 mycroft extern void _rtld_install_plt __P((Elf_Word *,
821 1.27 eeh Elf_Addr));
822 1.27 eeh extern void _rtld_bind_start_0 __P((long,
823 1.27 eeh long));
824 1.27 eeh extern void _rtld_bind_start_1 __P((long,
825 1.27 eeh long));
826 1.27 eeh
827 1.27 eeh /* Install in entries 0 and 1 */
828 1.27 eeh _rtld_install_plt(&entry[0],
829 1.27 eeh (Elf_Addr)&_rtld_bind_start_0);
830 1.27 eeh _rtld_install_plt(&entry[8],
831 1.27 eeh (Elf_Addr)&_rtld_bind_start_1);
832 1.27 eeh
833 1.27 eeh /*
834 1.27 eeh * Install the object reference in first slot
835 1.27 eeh * of entry 2.
836 1.27 eeh */
837 1.30 eeh obj->pltgot[8] = (Elf_Addr) obj;
838 1.27 eeh }
839 1.27 eeh #else
840 1.11 christos /*
841 1.11 christos * PLTGOT is the PLT on the sparc.
842 1.11 christos * The first entry holds the call the dynamic linker.
843 1.13 pk * We construct a `call' sequence that transfers
844 1.11 christos * to `_rtld_bind_start()'.
845 1.11 christos * The second entry holds the object identification.
846 1.11 christos * Note: each PLT entry is three words long.
847 1.11 christos */
848 1.13 pk #define SAVE 0x9de3bfc0 /* i.e. `save %sp,-64,%sp' */
849 1.13 pk #define CALL 0x40000000
850 1.13 pk #define NOP 0x01000000
851 1.13 pk obj->pltgot[0] = SAVE;
852 1.13 pk obj->pltgot[1] = CALL |
853 1.11 christos ((Elf_Addr)&_rtld_bind_start -
854 1.13 pk (Elf_Addr)&obj->pltgot[1]) >> 2;
855 1.13 pk obj->pltgot[2] = NOP;
856 1.13 pk
857 1.11 christos obj->pltgot[3] = (Elf_Addr) obj;
858 1.28 matt #endif /* __arch64__ */
859 1.28 matt #endif /* __sparc__ */
860 1.21 matt #if defined(__vax__)
861 1.32 matt obj->pltgot[1] = (Elf_Addr) obj;
862 1.28 matt obj->pltgot[2] = (Elf_Addr) & _rtld_bind_start;
863 1.1 cgd #endif
864 1.11 christos }
865 1.1 cgd }
866 1.1 cgd
867 1.11 christos return 0;
868 1.1 cgd }
869