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