reloc.c revision 1.46 1 1.46 thorpej /* $NetBSD: reloc.c,v 1.46 2001/12/16 08:23:25 thorpej 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.11 christos int
153 1.16 christos _rtld_relocate_nonplt_object(obj, rela, dodebug)
154 1.23 mycroft Obj_Entry *obj;
155 1.35 kleink const Elf_Rela *rela;
156 1.16 christos bool dodebug;
157 1.9 pk {
158 1.11 christos Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
159 1.11 christos const Elf_Sym *def;
160 1.9 pk const Obj_Entry *defobj;
161 1.37 matt #if defined(__alpha__) || defined(__arm__) || defined(__i386__) || \
162 1.37 matt defined(__m68k__) || defined(__powerpc__) || defined(__vax__)
163 1.11 christos Elf_Addr tmp;
164 1.17 jonathan #endif
165 1.9 pk
166 1.11 christos switch (ELF_R_TYPE(rela->r_info)) {
167 1.9 pk
168 1.11 christos case R_TYPE(NONE):
169 1.11 christos break;
170 1.9 pk
171 1.24 itohy #if defined(__i386__)
172 1.11 christos case R_TYPE(GOT32):
173 1.9 pk
174 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
175 1.11 christos &defobj, false);
176 1.11 christos if (def == NULL)
177 1.11 christos return -1;
178 1.9 pk
179 1.11 christos tmp = (Elf_Addr)(defobj->relocbase + def->st_value);
180 1.11 christos if (*where != tmp)
181 1.11 christos *where = tmp;
182 1.16 christos rdbg(dodebug, ("GOT32 %s in %s --> %p in %s",
183 1.11 christos defobj->strtab + def->st_name, obj->path,
184 1.16 christos (void *)*where, defobj->path));
185 1.11 christos break;
186 1.9 pk
187 1.11 christos case R_TYPE(PC32):
188 1.11 christos /*
189 1.11 christos * I don't think the dynamic linker should ever see this
190 1.11 christos * type of relocation. But the binutils-2.6 tools sometimes
191 1.11 christos * generate it.
192 1.11 christos */
193 1.9 pk
194 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
195 1.11 christos &defobj, false);
196 1.11 christos if (def == NULL)
197 1.11 christos return -1;
198 1.9 pk
199 1.11 christos *where += (Elf_Addr)(defobj->relocbase + def->st_value) -
200 1.11 christos (Elf_Addr)where;
201 1.16 christos rdbg(dodebug, ("PC32 %s in %s --> %p in %s",
202 1.11 christos defobj->strtab + def->st_name, obj->path,
203 1.16 christos (void *)*where, defobj->path));
204 1.11 christos break;
205 1.11 christos
206 1.11 christos case R_TYPE(32):
207 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
208 1.11 christos &defobj, false);
209 1.11 christos if (def == NULL)
210 1.11 christos return -1;
211 1.9 pk
212 1.11 christos *where += (Elf_Addr)(defobj->relocbase + def->st_value);
213 1.16 christos rdbg(dodebug, ("32 %s in %s --> %p in %s",
214 1.11 christos defobj->strtab + def->st_name, obj->path,
215 1.16 christos (void *)*where, defobj->path));
216 1.11 christos break;
217 1.24 itohy #endif /* __i386__ */
218 1.24 itohy
219 1.24 itohy #if defined(__m68k__)
220 1.24 itohy case R_TYPE(GOT32):
221 1.24 itohy def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
222 1.24 itohy &defobj, false);
223 1.24 itohy if (def == NULL)
224 1.24 itohy return -1;
225 1.24 itohy
226 1.24 itohy tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
227 1.24 itohy rela->r_addend);
228 1.24 itohy if (*where != tmp)
229 1.24 itohy *where = tmp;
230 1.24 itohy rdbg(dodebug, ("GOT32 %s in %s --> %p in %s",
231 1.24 itohy defobj->strtab + def->st_name, obj->path,
232 1.24 itohy (void *)*where, defobj->path));
233 1.24 itohy break;
234 1.24 itohy
235 1.24 itohy case R_TYPE(PC32):
236 1.24 itohy def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
237 1.24 itohy &defobj, false);
238 1.24 itohy if (def == NULL)
239 1.24 itohy return -1;
240 1.24 itohy
241 1.24 itohy tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
242 1.24 itohy rela->r_addend) - (Elf_Addr)where;
243 1.24 itohy if (*where != tmp)
244 1.24 itohy *where = tmp;
245 1.24 itohy rdbg(dodebug, ("PC32 %s in %s --> %p in %s",
246 1.24 itohy defobj->strtab + def->st_name, obj->path,
247 1.24 itohy (void *)*where, defobj->path));
248 1.24 itohy break;
249 1.24 itohy
250 1.24 itohy case R_TYPE(32):
251 1.24 itohy def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
252 1.24 itohy &defobj, false);
253 1.24 itohy if (def == NULL)
254 1.24 itohy return -1;
255 1.24 itohy
256 1.24 itohy tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
257 1.24 itohy rela->r_addend);
258 1.24 itohy if (*where != tmp)
259 1.24 itohy *where = tmp;
260 1.24 itohy rdbg(dodebug, ("32 %s in %s --> %p in %s",
261 1.24 itohy defobj->strtab + def->st_name, obj->path,
262 1.24 itohy (void *)*where, defobj->path));
263 1.24 itohy break;
264 1.24 itohy #endif /* __m68k__ */
265 1.4 christos
266 1.21 matt #if defined(__alpha__)
267 1.11 christos case R_TYPE(REFQUAD):
268 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
269 1.11 christos &defobj, false);
270 1.11 christos if (def == NULL)
271 1.11 christos return -1;
272 1.1 cgd
273 1.11 christos tmp = (Elf_Addr)(defobj->relocbase + def->st_value) +
274 1.11 christos *where + rela->r_addend;
275 1.12 tv if (*where != tmp)
276 1.12 tv *where = tmp;
277 1.16 christos rdbg(dodebug, ("REFQUAD %s in %s --> %p in %s",
278 1.11 christos defobj->strtab + def->st_name, obj->path,
279 1.16 christos (void *)*where, defobj->path));
280 1.11 christos break;
281 1.46 thorpej
282 1.46 thorpej case R_TYPE(RELATIVE):
283 1.46 thorpej {
284 1.46 thorpej extern Elf_Addr _GLOBAL_OFFSET_TABLE_[];
285 1.46 thorpej extern Elf_Addr _GOT_END_[];
286 1.46 thorpej
287 1.46 thorpej /* This is the ...iffy hueristic. */
288 1.46 thorpej if (!dodebug ||
289 1.46 thorpej (caddr_t)where < (caddr_t)_GLOBAL_OFFSET_TABLE_ ||
290 1.46 thorpej (caddr_t)where >= (caddr_t)_GOT_END_) {
291 1.46 thorpej *where += (Elf_Addr)(obj->relocbase + rela->r_addend);
292 1.46 thorpej rdbg(dodebug, ("RELATIVE in %s --> %p", obj->path,
293 1.46 thorpej (void *)*where));
294 1.46 thorpej } else
295 1.46 thorpej rdbg(dodebug, ("RELATIVE in %s stays at %p",
296 1.46 thorpej obj->path, (void *)*where));
297 1.46 thorpej break;
298 1.46 thorpej }
299 1.4 christos #endif /* __alpha__ */
300 1.1 cgd
301 1.20 kleink #if defined(__alpha__) || defined(__i386__) || defined(__m68k__)
302 1.11 christos case R_TYPE(GLOB_DAT):
303 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
304 1.11 christos &defobj, false);
305 1.11 christos if (def == NULL)
306 1.11 christos return -1;
307 1.1 cgd
308 1.11 christos if (*where != (Elf_Addr)(defobj->relocbase + def->st_value))
309 1.11 christos *where = (Elf_Addr)(defobj->relocbase + def->st_value);
310 1.16 christos rdbg(dodebug, ("GLOB_DAT %s in %s --> %p in %s",
311 1.11 christos defobj->strtab + def->st_name, obj->path,
312 1.16 christos (void *)*where, defobj->path));
313 1.11 christos break;
314 1.11 christos
315 1.46 thorpej #if !defined(__alpha__)
316 1.11 christos case R_TYPE(RELATIVE):
317 1.46 thorpej *where += (Elf_Addr)obj->relocbase;
318 1.46 thorpej rdbg(dodebug, ("RELATIVE in %s --> %p", obj->path,
319 1.46 thorpej (void *)*where));
320 1.11 christos break;
321 1.46 thorpej #endif /* ! __alpha__ */
322 1.1 cgd
323 1.11 christos case R_TYPE(COPY):
324 1.11 christos /*
325 1.11 christos * These are deferred until all other relocations have
326 1.11 christos * been done. All we do here is make sure that the COPY
327 1.11 christos * relocation is not in a shared library. They are allowed
328 1.11 christos * only in executable files.
329 1.11 christos */
330 1.11 christos if (!obj->mainprog) {
331 1.11 christos _rtld_error(
332 1.11 christos "%s: Unexpected R_COPY relocation in shared library",
333 1.11 christos obj->path);
334 1.11 christos return -1;
335 1.11 christos }
336 1.16 christos rdbg(dodebug, ("COPY (avoid in main)"));
337 1.11 christos break;
338 1.28 matt #endif /* __i386__ || __alpha__ || __m68k__ */
339 1.2 mhitch
340 1.21 matt #if defined(__mips__)
341 1.11 christos case R_TYPE(REL32):
342 1.11 christos /* 32-bit PC-relative reference */
343 1.11 christos def = obj->symtab + ELF_R_SYM(rela->r_info);
344 1.11 christos
345 1.22 simonb if (ELFDEFNNAME(ST_BIND)(def->st_info) == STB_LOCAL &&
346 1.22 simonb (ELFDEFNNAME(ST_TYPE)(def->st_info) == STT_SECTION ||
347 1.22 simonb ELFDEFNNAME(ST_TYPE)(def->st_info) == STT_NOTYPE)) {
348 1.43 rafal /*
349 1.43 rafal * XXX: ABI DIFFERENCE!
350 1.43 rafal *
351 1.43 rafal * Old NetBSD binutils would generate shared libs
352 1.43 rafal * with section-relative relocations being already
353 1.43 rafal * adjusted for the start address of the section.
354 1.43 rafal *
355 1.43 rafal * New binutils, OTOH, generate shared libs with
356 1.43 rafal * the same relocations being based at zero, so we
357 1.43 rafal * need to add in the start address of the section.
358 1.43 rafal *
359 1.43 rafal * We assume that all section-relative relocs with
360 1.43 rafal * contents less than the start of the section need
361 1.43 rafal * to be adjusted; this should work with both old
362 1.43 rafal * and new shlibs.
363 1.43 rafal *
364 1.43 rafal * --rkb, Oct 6, 2001
365 1.43 rafal */
366 1.43 rafal if (def->st_info == STT_SECTION &&
367 1.43 rafal (*where < def->st_value))
368 1.43 rafal *where += (Elf_Addr) def->st_value;
369 1.43 rafal
370 1.11 christos *where += (Elf_Addr)obj->relocbase;
371 1.43 rafal
372 1.43 rafal rdbg(dodebug, ("REL32 %s in %s --> %p in %s",
373 1.43 rafal obj->strtab + def->st_name, obj->path,
374 1.43 rafal (void *)*where, obj->path));
375 1.11 christos } else {
376 1.11 christos /* XXX maybe do something re: bootstrapping? */
377 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info,
378 1.11 christos NULL, obj, &defobj, false);
379 1.11 christos if (def == NULL)
380 1.11 christos return -1;
381 1.11 christos *where += (Elf_Addr)(defobj->relocbase + def->st_value);
382 1.16 christos rdbg(dodebug, ("REL32 %s in %s --> %p in %s",
383 1.11 christos defobj->strtab + def->st_name, obj->path,
384 1.16 christos (void *)*where, defobj->path));
385 1.11 christos }
386 1.11 christos break;
387 1.2 mhitch
388 1.11 christos #endif /* __mips__ */
389 1.1 cgd
390 1.21 matt #if defined(__powerpc__) || defined(__vax__)
391 1.11 christos case R_TYPE(32): /* word32 S + A */
392 1.11 christos case R_TYPE(GLOB_DAT): /* word32 S + A */
393 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
394 1.11 christos &defobj, false);
395 1.11 christos if (def == NULL)
396 1.11 christos return -1;
397 1.3 tsubai
398 1.11 christos tmp = (Elf_Addr)(defobj->relocbase + def->st_value +
399 1.11 christos rela->r_addend);
400 1.3 tsubai
401 1.11 christos if (*where != tmp)
402 1.11 christos *where = tmp;
403 1.16 christos rdbg(dodebug, ("32/GLOB_DAT %s in %s --> %p in %s",
404 1.11 christos defobj->strtab + def->st_name, obj->path,
405 1.16 christos (void *)*where, defobj->path));
406 1.11 christos break;
407 1.11 christos
408 1.11 christos case R_TYPE(COPY):
409 1.16 christos rdbg(dodebug, ("COPY"));
410 1.11 christos break;
411 1.11 christos
412 1.11 christos case R_TYPE(JMP_SLOT):
413 1.16 christos rdbg(dodebug, ("JMP_SLOT"));
414 1.11 christos break;
415 1.11 christos
416 1.11 christos case R_TYPE(RELATIVE): /* word32 B + A */
417 1.11 christos tmp = (Elf_Addr)(obj->relocbase + rela->r_addend);
418 1.21 matt if (*where != tmp)
419 1.21 matt *where = tmp;
420 1.16 christos rdbg(dodebug, ("RELATIVE in %s --> %p", obj->path,
421 1.16 christos (void *)*where));
422 1.11 christos break;
423 1.21 matt #endif /* __powerpc__ || __vax__ */
424 1.26 kleink
425 1.26 kleink #if defined(__powerpc__)
426 1.26 kleink case R_TYPE(16_LO): /* #lo(S + A) */
427 1.26 kleink tmp = (Elf_Addr)(obj->relocbase + rela->r_addend);
428 1.26 kleink if (*(Elf32_Half *)where != tmp)
429 1.26 kleink *(Elf32_Half *)where = tmp;
430 1.26 kleink rdbg(dodebug, ("16_LO 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_HI): /* #hi(S + A) */
435 1.26 kleink tmp = (Elf_Addr)(obj->relocbase + rela->r_addend) >> 16;
436 1.26 kleink if (*(Elf32_Half *)where != tmp)
437 1.26 kleink *(Elf32_Half *)where = tmp;
438 1.26 kleink rdbg(dodebug, ("16_HI in %s --> %p", obj->path,
439 1.26 kleink (void *)*where));
440 1.26 kleink break;
441 1.26 kleink
442 1.26 kleink case R_TYPE(16_HA): /* #ha(S + A) */
443 1.26 kleink tmp = (Elf_Addr)(obj->relocbase + rela->r_addend + 0x8000)
444 1.26 kleink >> 16;
445 1.26 kleink if (*(Elf32_Half *)where != tmp)
446 1.26 kleink *(Elf32_Half *)where = tmp;
447 1.26 kleink rdbg(dodebug, ("16_HA in %s --> %p", obj->path,
448 1.26 kleink (void *)*where));
449 1.26 kleink break;
450 1.26 kleink #endif /* __powerpc__ */
451 1.37 matt
452 1.37 matt #if defined(__arm__)
453 1.37 matt case R_TYPE(GLOB_DAT): /* word32 B + S */
454 1.37 matt def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
455 1.37 matt &defobj, false);
456 1.37 matt if (def == NULL)
457 1.37 matt return -1;
458 1.37 matt *where = (Elf_Addr)(defobj->relocbase + def->st_value);
459 1.40 matt rdbg(dodebug, ("GLOB_DAT %s in %s --> %p @ %p in %s",
460 1.37 matt defobj->strtab + def->st_name, obj->path,
461 1.40 matt (void *)*where, where, defobj->path));
462 1.37 matt break;
463 1.37 matt
464 1.37 matt case R_TYPE(COPY):
465 1.37 matt rdbg(dodebug, ("COPY"));
466 1.37 matt break;
467 1.37 matt
468 1.37 matt case R_TYPE(JUMP_SLOT):
469 1.37 matt rdbg(dodebug, ("JUMP_SLOT"));
470 1.37 matt break;
471 1.37 matt
472 1.37 matt case R_TYPE(ABS32): /* word32 B + S + A */
473 1.37 matt def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
474 1.37 matt &defobj, false);
475 1.37 matt if (def == NULL)
476 1.37 matt return -1;
477 1.40 matt *where += (Elf_Addr)defobj->relocbase + def->st_value;
478 1.40 matt rdbg(dodebug, ("ABS32 %s in %s --> %p @ %p in %s",
479 1.37 matt defobj->strtab + def->st_name, obj->path,
480 1.40 matt (void *)*where, where, defobj->path));
481 1.37 matt break;
482 1.37 matt
483 1.37 matt case R_TYPE(RELATIVE): /* word32 B + A */
484 1.37 matt *where += (Elf_Addr)obj->relocbase;
485 1.40 matt rdbg(dodebug, ("RELATIVE in %s --> %p @ %p", obj->path,
486 1.40 matt (void *)*where, where));
487 1.37 matt break;
488 1.37 matt
489 1.37 matt case R_TYPE(PC24): { /* word32 S - P + A */
490 1.37 matt Elf32_Sword addend;
491 1.37 matt
492 1.37 matt /*
493 1.37 matt * Extract addend and sign-extend if needed.
494 1.37 matt */
495 1.37 matt addend = *where;
496 1.37 matt if (addend & 0x00800000)
497 1.37 matt addend |= 0xff000000;
498 1.37 matt
499 1.37 matt def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
500 1.37 matt &defobj, false);
501 1.37 matt if (def == NULL)
502 1.37 matt return -1;
503 1.37 matt tmp = (Elf_Addr)obj->relocbase + def->st_value
504 1.37 matt - (Elf_Addr)where + (addend << 2);
505 1.37 matt if ((tmp & 0xfe000000) != 0xfe000000 && (tmp & 0xfe000000) != 0) {
506 1.37 matt _rtld_error(
507 1.37 matt "%s: R_ARM_PC24 relocation @ %p to %s failed "
508 1.37 matt "(displacement %ld (%#lx) out of range)",
509 1.37 matt obj->path, where, defobj->strtab + def->st_name,
510 1.37 matt (long) tmp, (long) tmp);
511 1.37 matt return -1;
512 1.37 matt }
513 1.37 matt tmp >>= 2;
514 1.37 matt *where = (*where & 0xff000000) | (tmp & 0x00ffffff);
515 1.40 matt rdbg(dodebug, ("PC24 %s in %s --> %p @ %p in %s",
516 1.37 matt defobj->strtab + def->st_name, obj->path,
517 1.40 matt (void *)*where, where, defobj->path));
518 1.37 matt break;
519 1.37 matt }
520 1.37 matt #endif
521 1.21 matt
522 1.11 christos default:
523 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
524 1.11 christos &defobj, true);
525 1.16 christos rdbg(dodebug, ("sym = %lu, type = %lu, offset = %p, "
526 1.11 christos "addend = %p, contents = %p, symbol = %s",
527 1.11 christos (u_long)ELF_R_SYM(rela->r_info),
528 1.11 christos (u_long)ELF_R_TYPE(rela->r_info),
529 1.11 christos (void *)rela->r_offset, (void *)rela->r_addend,
530 1.11 christos (void *)*where,
531 1.16 christos def ? defobj->strtab + def->st_name : "??"));
532 1.33 dan _rtld_error("%s: Unsupported relocation type %ld "
533 1.11 christos "in non-PLT relocations\n",
534 1.33 dan obj->path, (u_long) ELF_R_TYPE(rela->r_info));
535 1.11 christos return -1;
536 1.11 christos }
537 1.11 christos return 0;
538 1.1 cgd }
539 1.9 pk
540 1.9 pk
541 1.42 mycroft #if !defined(__powerpc__)
542 1.9 pk
543 1.11 christos int
544 1.16 christos _rtld_relocate_plt_object(obj, rela, addrp, bind_now, dodebug)
545 1.23 mycroft Obj_Entry *obj;
546 1.35 kleink const Elf_Rela *rela;
547 1.16 christos caddr_t *addrp;
548 1.16 christos bool bind_now;
549 1.16 christos bool dodebug;
550 1.1 cgd {
551 1.16 christos Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rela->r_offset);
552 1.16 christos Elf_Addr new_value;
553 1.1 cgd
554 1.11 christos /* Fully resolve procedure addresses now */
555 1.2 mhitch
556 1.39 matt #if defined(__alpha__) || defined(__arm__) || defined(__i386__) || \
557 1.39 matt defined(__m68k__) || defined(__vax__)
558 1.11 christos if (bind_now || obj->pltgot == NULL) {
559 1.11 christos const Elf_Sym *def;
560 1.11 christos const Obj_Entry *defobj;
561 1.11 christos
562 1.39 matt #if !defined(__arm__)
563 1.11 christos assert(ELF_R_TYPE(rela->r_info) == R_TYPE(JMP_SLOT));
564 1.39 matt #else
565 1.39 matt assert(ELF_R_TYPE(rela->r_info) == R_TYPE(JUMP_SLOT));
566 1.39 matt #endif
567 1.1 cgd
568 1.11 christos def = _rtld_find_symdef(_rtld_objlist, rela->r_info, NULL, obj,
569 1.11 christos &defobj, true);
570 1.11 christos if (def == NULL)
571 1.11 christos return -1;
572 1.1 cgd
573 1.11 christos new_value = (Elf_Addr)(defobj->relocbase + def->st_value);
574 1.29 matt #if defined(__vax__)
575 1.29 matt new_value += rela->r_addend;
576 1.29 matt #endif
577 1.16 christos rdbg(dodebug, ("bind now %d/fixup in %s --> old=%p new=%p",
578 1.11 christos (int)bind_now,
579 1.11 christos defobj->strtab + def->st_name,
580 1.16 christos (void *)*where, (void *)new_value));
581 1.11 christos } else
582 1.21 matt #endif /* __alpha__ || __i386__ || __m68k__ || __vax__ */
583 1.11 christos if (!obj->mainprog) {
584 1.11 christos /* Just relocate the GOT slots pointing into the PLT */
585 1.11 christos new_value = *where + (Elf_Addr)(obj->relocbase);
586 1.16 christos rdbg(dodebug, ("fixup !main in %s --> %p", obj->path,
587 1.16 christos (void *)*where));
588 1.11 christos } else {
589 1.11 christos return 0;
590 1.11 christos }
591 1.11 christos /*
592 1.11 christos * Since this page is probably copy-on-write, let's not write
593 1.11 christos * it unless we really really have to.
594 1.11 christos */
595 1.11 christos if (*where != new_value)
596 1.11 christos *where = new_value;
597 1.29 matt if (addrp != NULL) {
598 1.11 christos *addrp = *(caddr_t *)(obj->relocbase + rela->r_offset);
599 1.29 matt #if defined(__vax__)
600 1.29 matt *addrp -= rela->r_addend;
601 1.29 matt #endif
602 1.29 matt }
603 1.7 tv return 0;
604 1.1 cgd }
605 1.42 mycroft
606 1.42 mycroft #endif /* __powerpc__ */
607 1.42 mycroft
608 1.42 mycroft #endif /* __sparc__ || __x86_64__ */
609 1.9 pk
610 1.1 cgd caddr_t
611 1.16 christos _rtld_bind(obj, reloff)
612 1.23 mycroft Obj_Entry *obj;
613 1.16 christos Elf_Word reloff;
614 1.1 cgd {
615 1.35 kleink const Elf_Rela *rela;
616 1.35 kleink Elf_Rela ourrela;
617 1.11 christos caddr_t addr;
618 1.1 cgd
619 1.11 christos if (obj->pltrel != NULL) {
620 1.11 christos const Elf_Rel *rel;
621 1.1 cgd
622 1.11 christos rel = (const Elf_Rel *)((caddr_t) obj->pltrel + reloff);
623 1.11 christos ourrela.r_info = rel->r_info;
624 1.11 christos ourrela.r_offset = rel->r_offset;
625 1.28 matt ourrela.r_addend = 0;
626 1.11 christos rela = &ourrela;
627 1.11 christos } else {
628 1.35 kleink rela = (const Elf_Rela *)((caddr_t) obj->pltrela + reloff);
629 1.41 eeh #ifdef __sparc64__
630 1.41 eeh if (ELF_R_TYPE(obj->pltrela->r_info) == R_TYPE(JMP_SLOT)) {
631 1.41 eeh /*
632 1.41 eeh * XXXX
633 1.41 eeh *
634 1.41 eeh * The first for PLT entries are reserved. There
635 1.41 eeh * is some disagreement whether they should have
636 1.41 eeh * associated relocation entries. Both the SPARC
637 1.41 eeh * 32-bit and 64-bit ELF specifications say that
638 1.41 eeh * they should have relocation entries, but the
639 1.41 eeh * 32-bit SPARC binutils do not generate them,
640 1.41 eeh * and now the 64-bit SPARC binutils have stopped
641 1.41 eeh * generating them too.
642 1.41 eeh *
643 1.41 eeh * So, to provide binary compatibility, we will
644 1.41 eeh * check the first entry, if it is reserved it
645 1.41 eeh * should not be of the type JMP_SLOT. If it
646 1.41 eeh * is JMP_SLOT, then the 4 reserved entries were
647 1.41 eeh * not generated and our index is 4 entries too far.
648 1.41 eeh */
649 1.41 eeh rela -= 4;
650 1.41 eeh }
651 1.41 eeh #endif
652 1.11 christos }
653 1.11 christos
654 1.11 christos if (_rtld_relocate_plt_object(obj, rela, &addr, true, true) < 0)
655 1.11 christos _rtld_die();
656 1.1 cgd
657 1.11 christos return addr;
658 1.1 cgd }
659 1.9 pk
660 1.1 cgd /*
661 1.1 cgd * Relocate newly-loaded shared objects. The argument is a pointer to
662 1.1 cgd * the Obj_Entry for the first such object. All objects from the first
663 1.1 cgd * to the end of the list of objects are relocated. Returns 0 on success,
664 1.1 cgd * or -1 on failure.
665 1.1 cgd */
666 1.1 cgd int
667 1.16 christos _rtld_relocate_objects(first, bind_now, dodebug)
668 1.16 christos Obj_Entry *first;
669 1.16 christos bool bind_now;
670 1.16 christos bool dodebug;
671 1.1 cgd {
672 1.16 christos Obj_Entry *obj;
673 1.16 christos int ok = 1;
674 1.1 cgd
675 1.11 christos for (obj = first; obj != NULL; obj = obj->next) {
676 1.16 christos if (obj->nbuckets == 0 || obj->nchains == 0 ||
677 1.16 christos obj->buckets == NULL || obj->symtab == NULL ||
678 1.16 christos obj->strtab == NULL) {
679 1.11 christos _rtld_error("%s: Shared object has no run-time"
680 1.11 christos " symbol table", obj->path);
681 1.11 christos return -1;
682 1.11 christos }
683 1.16 christos rdbg(dodebug, (" relocating %s (%ld/%ld rel/rela, "
684 1.11 christos "%ld/%ld plt rel/rela)",
685 1.11 christos obj->path,
686 1.11 christos (long)(obj->rellim - obj->rel),
687 1.11 christos (long)(obj->relalim - obj->rela),
688 1.11 christos (long)(obj->pltrellim - obj->pltrel),
689 1.16 christos (long)(obj->pltrelalim - obj->pltrela)));
690 1.11 christos
691 1.11 christos if (obj->textrel) {
692 1.11 christos /*
693 1.11 christos * There are relocations to the write-protected text
694 1.11 christos * segment.
695 1.11 christos */
696 1.11 christos if (mprotect(obj->mapbase, obj->textsize,
697 1.11 christos PROT_READ | PROT_WRITE | PROT_EXEC) == -1) {
698 1.11 christos _rtld_error("%s: Cannot write-enable text "
699 1.11 christos "segment: %s", obj->path, xstrerror(errno));
700 1.11 christos return -1;
701 1.11 christos }
702 1.11 christos }
703 1.11 christos if (obj->rel != NULL) {
704 1.11 christos /* Process the non-PLT relocations. */
705 1.11 christos const Elf_Rel *rel;
706 1.11 christos for (rel = obj->rel; rel < obj->rellim; ++rel) {
707 1.35 kleink Elf_Rela ourrela;
708 1.11 christos ourrela.r_info = rel->r_info;
709 1.11 christos ourrela.r_offset = rel->r_offset;
710 1.2 mhitch #if defined(__mips__)
711 1.11 christos /* rel->r_offset is not valid on mips? */
712 1.11 christos if (ELF_R_TYPE(ourrela.r_info) == R_TYPE(NONE))
713 1.11 christos ourrela.r_addend = 0;
714 1.11 christos else
715 1.11 christos #endif
716 1.11 christos ourrela.r_addend =
717 1.11 christos *(Elf_Word *)(obj->relocbase +
718 1.11 christos rel->r_offset);
719 1.11 christos
720 1.11 christos if (_rtld_relocate_nonplt_object(obj, &ourrela,
721 1.11 christos dodebug) < 0)
722 1.11 christos ok = 0;
723 1.11 christos }
724 1.11 christos }
725 1.11 christos if (obj->rela != NULL) {
726 1.11 christos /* Process the non-PLT relocations. */
727 1.35 kleink const Elf_Rela *rela;
728 1.11 christos for (rela = obj->rela; rela < obj->relalim; ++rela) {
729 1.11 christos if (_rtld_relocate_nonplt_object(obj, rela,
730 1.11 christos dodebug) < 0)
731 1.11 christos ok = 0;
732 1.11 christos }
733 1.11 christos }
734 1.11 christos if (obj->textrel) { /* Re-protected the text segment. */
735 1.11 christos if (mprotect(obj->mapbase, obj->textsize,
736 1.11 christos PROT_READ | PROT_EXEC) == -1) {
737 1.11 christos _rtld_error("%s: Cannot write-protect text "
738 1.11 christos "segment: %s", obj->path, xstrerror(errno));
739 1.11 christos return -1;
740 1.11 christos }
741 1.11 christos }
742 1.11 christos /* Process the PLT relocations. */
743 1.11 christos if (obj->pltrel != NULL) {
744 1.11 christos const Elf_Rel *rel;
745 1.11 christos for (rel = obj->pltrel; rel < obj->pltrellim; ++rel) {
746 1.35 kleink Elf_Rela ourrela;
747 1.11 christos ourrela.r_info = rel->r_info;
748 1.11 christos ourrela.r_offset = rel->r_offset;
749 1.11 christos ourrela.r_addend =
750 1.11 christos *(Elf_Word *)(obj->relocbase +
751 1.11 christos rel->r_offset);
752 1.11 christos if (_rtld_relocate_plt_object(obj, &ourrela,
753 1.11 christos NULL, bind_now, dodebug) < 0)
754 1.11 christos ok = 0;
755 1.11 christos }
756 1.11 christos }
757 1.11 christos if (obj->pltrela != NULL) {
758 1.35 kleink const Elf_Rela *rela;
759 1.11 christos for (rela = obj->pltrela; rela < obj->pltrelalim;
760 1.11 christos ++rela) {
761 1.11 christos if (_rtld_relocate_plt_object(obj, rela,
762 1.11 christos NULL, bind_now, dodebug) < 0)
763 1.11 christos ok = 0;
764 1.11 christos }
765 1.11 christos }
766 1.11 christos if (!ok)
767 1.11 christos return -1;
768 1.11 christos
769 1.11 christos
770 1.11 christos /* Set some sanity-checking numbers in the Obj_Entry. */
771 1.11 christos obj->magic = RTLD_MAGIC;
772 1.11 christos obj->version = RTLD_VERSION;
773 1.11 christos
774 1.11 christos /* Fill in the dynamic linker entry points. */
775 1.11 christos obj->dlopen = _rtld_dlopen;
776 1.11 christos obj->dlsym = _rtld_dlsym;
777 1.11 christos obj->dlerror = _rtld_dlerror;
778 1.11 christos obj->dlclose = _rtld_dlclose;
779 1.25 scottb obj->dladdr = _rtld_dladdr;
780 1.1 cgd
781 1.11 christos /* Set the special PLTGOT entries. */
782 1.11 christos if (obj->pltgot != NULL) {
783 1.38 matt #if defined(__arm__) || defined(__i386__) || defined(__m68k__) || \
784 1.38 matt defined(__x86_64__)
785 1.11 christos obj->pltgot[1] = (Elf_Addr) obj;
786 1.11 christos obj->pltgot[2] = (Elf_Addr) & _rtld_bind_start;
787 1.1 cgd #endif
788 1.1 cgd #if defined(__alpha__)
789 1.45 thorpej _rtld_setup_alpha_pltgot(obj, dodebug);
790 1.2 mhitch #endif
791 1.2 mhitch #if defined(__mips__)
792 1.11 christos _rtld_relocate_mips_got(obj);
793 1.2 mhitch
794 1.11 christos obj->pltgot[0] = (Elf_Addr) & _rtld_bind_start;
795 1.11 christos /* XXX only if obj->pltgot[1] & 0x80000000 ?? */
796 1.11 christos obj->pltgot[1] |= (Elf_Addr) obj;
797 1.3 tsubai #endif
798 1.3 tsubai #if defined(__powerpc__)
799 1.11 christos _rtld_setup_powerpc_plt(obj);
800 1.9 pk #endif
801 1.9 pk #if defined(__sparc__)
802 1.31 mycroft #if defined(__arch64__) || defined(__sparc_v9__)
803 1.27 eeh /*
804 1.27 eeh * On sparc64 we got troubles.
805 1.27 eeh *
806 1.27 eeh * Instructions are 4 bytes long.
807 1.27 eeh * Elf[64]_Addr is 8 bytes long, so are our pltglot[]
808 1.27 eeh * array entries.
809 1.27 eeh * Each PLT entry jumps to PLT0 to enter the dynamic
810 1.27 eeh * linker.
811 1.27 eeh * Loading an arbitrary 64-bit pointer takes 6
812 1.27 eeh * instructions and 2 registers.
813 1.27 eeh *
814 1.27 eeh * Somehow we need to issue a save to get a new stack
815 1.27 eeh * frame, load the address of the dynamic linker, and
816 1.27 eeh * jump there, in 8 instructions or less.
817 1.27 eeh *
818 1.27 eeh * Oh, we need to fill out both PLT0 and PLT1.
819 1.27 eeh */
820 1.27 eeh {
821 1.31 mycroft Elf_Word *entry = (Elf_Word *)obj->pltgot;
822 1.31 mycroft extern void _rtld_install_plt __P((Elf_Word *,
823 1.27 eeh Elf_Addr));
824 1.27 eeh extern void _rtld_bind_start_0 __P((long,
825 1.27 eeh long));
826 1.27 eeh extern void _rtld_bind_start_1 __P((long,
827 1.27 eeh long));
828 1.27 eeh
829 1.27 eeh /* Install in entries 0 and 1 */
830 1.27 eeh _rtld_install_plt(&entry[0],
831 1.27 eeh (Elf_Addr)&_rtld_bind_start_0);
832 1.27 eeh _rtld_install_plt(&entry[8],
833 1.27 eeh (Elf_Addr)&_rtld_bind_start_1);
834 1.27 eeh
835 1.27 eeh /*
836 1.27 eeh * Install the object reference in first slot
837 1.27 eeh * of entry 2.
838 1.27 eeh */
839 1.30 eeh obj->pltgot[8] = (Elf_Addr) obj;
840 1.27 eeh }
841 1.27 eeh #else
842 1.11 christos /*
843 1.11 christos * PLTGOT is the PLT on the sparc.
844 1.11 christos * The first entry holds the call the dynamic linker.
845 1.13 pk * We construct a `call' sequence that transfers
846 1.11 christos * to `_rtld_bind_start()'.
847 1.11 christos * The second entry holds the object identification.
848 1.11 christos * Note: each PLT entry is three words long.
849 1.11 christos */
850 1.13 pk #define SAVE 0x9de3bfc0 /* i.e. `save %sp,-64,%sp' */
851 1.13 pk #define CALL 0x40000000
852 1.13 pk #define NOP 0x01000000
853 1.13 pk obj->pltgot[0] = SAVE;
854 1.13 pk obj->pltgot[1] = CALL |
855 1.11 christos ((Elf_Addr)&_rtld_bind_start -
856 1.13 pk (Elf_Addr)&obj->pltgot[1]) >> 2;
857 1.13 pk obj->pltgot[2] = NOP;
858 1.13 pk
859 1.11 christos obj->pltgot[3] = (Elf_Addr) obj;
860 1.28 matt #endif /* __arch64__ */
861 1.28 matt #endif /* __sparc__ */
862 1.21 matt #if defined(__vax__)
863 1.32 matt obj->pltgot[1] = (Elf_Addr) obj;
864 1.28 matt obj->pltgot[2] = (Elf_Addr) & _rtld_bind_start;
865 1.1 cgd #endif
866 1.11 christos }
867 1.1 cgd }
868 1.1 cgd
869 1.11 christos return 0;
870 1.1 cgd }
871