mdreloc.c revision 1.35 1 1.35 joerg /* $NetBSD: mdreloc.c,v 1.35 2011/03/25 18:07:05 joerg Exp $ */
2 1.26 skrll
3 1.26 skrll #include <sys/cdefs.h>
4 1.26 skrll #ifndef lint
5 1.35 joerg __RCSID("$NetBSD: mdreloc.c,v 1.35 2011/03/25 18:07:05 joerg Exp $");
6 1.26 skrll #endif /* not lint */
7 1.11 junyoung
8 1.1 mycroft #include <sys/types.h>
9 1.23 mrg #include <string.h>
10 1.1 mycroft
11 1.1 mycroft #include "debug.h"
12 1.1 mycroft #include "rtld.h"
13 1.1 mycroft
14 1.13 mycroft void _rtld_bind_start(void);
15 1.12 mycroft void _rtld_relocate_nonplt_self(Elf_Dyn *, Elf_Addr);
16 1.22 skrll caddr_t _rtld_bind(const Obj_Entry *, Elf_Word);
17 1.12 mycroft
18 1.1 mycroft void
19 1.1 mycroft _rtld_setup_pltgot(const Obj_Entry *obj)
20 1.1 mycroft {
21 1.1 mycroft obj->pltgot[1] = (Elf_Addr) obj;
22 1.1 mycroft obj->pltgot[2] = (Elf_Addr) &_rtld_bind_start;
23 1.1 mycroft }
24 1.2 mycroft
25 1.12 mycroft void
26 1.22 skrll _rtld_relocate_nonplt_self(Elf_Dyn *dynp, Elf_Addr relocbase)
27 1.12 mycroft {
28 1.12 mycroft const Elf_Rel *rel = 0, *rellim;
29 1.12 mycroft Elf_Addr relsz = 0;
30 1.12 mycroft Elf_Addr *where;
31 1.12 mycroft
32 1.12 mycroft for (; dynp->d_tag != DT_NULL; dynp++) {
33 1.12 mycroft switch (dynp->d_tag) {
34 1.12 mycroft case DT_REL:
35 1.12 mycroft rel = (const Elf_Rel *)(relocbase + dynp->d_un.d_ptr);
36 1.12 mycroft break;
37 1.12 mycroft case DT_RELSZ:
38 1.12 mycroft relsz = dynp->d_un.d_val;
39 1.12 mycroft break;
40 1.12 mycroft }
41 1.12 mycroft }
42 1.29 lukem rellim = (const Elf_Rel *)((const uint8_t *)rel + relsz);
43 1.12 mycroft for (; rel < rellim; rel++) {
44 1.12 mycroft where = (Elf_Addr *)(relocbase + rel->r_offset);
45 1.12 mycroft *where += (Elf_Addr)relocbase;
46 1.12 mycroft }
47 1.12 mycroft }
48 1.12 mycroft
49 1.16 thorpej /*
50 1.16 thorpej * It is possible for the compiler to emit relocations for unaligned data.
51 1.16 thorpej * We handle this situation with these inlines.
52 1.16 thorpej */
53 1.16 thorpej #define RELOC_ALIGNED_P(x) \
54 1.16 thorpej (((uintptr_t)(x) & (sizeof(void *) - 1)) == 0)
55 1.16 thorpej
56 1.27 perry static inline Elf_Addr
57 1.16 thorpej load_ptr(void *where)
58 1.16 thorpej {
59 1.16 thorpej Elf_Addr res;
60 1.16 thorpej
61 1.16 thorpej memcpy(&res, where, sizeof(res));
62 1.16 thorpej
63 1.16 thorpej return (res);
64 1.16 thorpej }
65 1.16 thorpej
66 1.27 perry static inline void
67 1.16 thorpej store_ptr(void *where, Elf_Addr val)
68 1.16 thorpej {
69 1.16 thorpej
70 1.16 thorpej memcpy(where, &val, sizeof(val));
71 1.16 thorpej }
72 1.16 thorpej
73 1.2 mycroft int
74 1.34 joerg _rtld_relocate_nonplt_objects(Obj_Entry *obj)
75 1.2 mycroft {
76 1.3 mycroft const Elf_Rel *rel;
77 1.12 mycroft
78 1.3 mycroft for (rel = obj->rel; rel < obj->rellim; rel++) {
79 1.3 mycroft Elf_Addr *where;
80 1.3 mycroft const Elf_Sym *def;
81 1.3 mycroft const Obj_Entry *defobj;
82 1.3 mycroft Elf_Addr tmp;
83 1.4 mycroft unsigned long symnum;
84 1.3 mycroft
85 1.3 mycroft where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
86 1.4 mycroft symnum = ELF_R_SYM(rel->r_info);
87 1.3 mycroft
88 1.3 mycroft switch (ELF_R_TYPE(rel->r_info)) {
89 1.3 mycroft case R_TYPE(NONE):
90 1.3 mycroft break;
91 1.2 mycroft
92 1.2 mycroft #if 1 /* XXX should not occur */
93 1.3 mycroft case R_TYPE(PC24): { /* word32 S - P + A */
94 1.3 mycroft Elf32_Sword addend;
95 1.2 mycroft
96 1.3 mycroft /*
97 1.3 mycroft * Extract addend and sign-extend if needed.
98 1.3 mycroft */
99 1.17 thorpej addend = *where;
100 1.3 mycroft if (addend & 0x00800000)
101 1.3 mycroft addend |= 0xff000000;
102 1.3 mycroft
103 1.4 mycroft def = _rtld_find_symdef(symnum, obj, &defobj, false);
104 1.3 mycroft if (def == NULL)
105 1.3 mycroft return -1;
106 1.3 mycroft tmp = (Elf_Addr)obj->relocbase + def->st_value
107 1.3 mycroft - (Elf_Addr)where + (addend << 2);
108 1.3 mycroft if ((tmp & 0xfe000000) != 0xfe000000 &&
109 1.3 mycroft (tmp & 0xfe000000) != 0) {
110 1.3 mycroft _rtld_error(
111 1.3 mycroft "%s: R_ARM_PC24 relocation @ %p to %s failed "
112 1.3 mycroft "(displacement %ld (%#lx) out of range)",
113 1.3 mycroft obj->path, where,
114 1.5 mycroft obj->strtab + obj->symtab[symnum].st_name,
115 1.5 mycroft (long) tmp, (long) tmp);
116 1.3 mycroft return -1;
117 1.3 mycroft }
118 1.3 mycroft tmp >>= 2;
119 1.17 thorpej *where = (*where & 0xff000000) | (tmp & 0x00ffffff);
120 1.14 mycroft rdbg(("PC24 %s in %s --> %p @ %p in %s",
121 1.5 mycroft obj->strtab + obj->symtab[symnum].st_name,
122 1.17 thorpej obj->path, (void *)*where, where, defobj->path));
123 1.3 mycroft break;
124 1.2 mycroft }
125 1.2 mycroft #endif
126 1.2 mycroft
127 1.3 mycroft case R_TYPE(ABS32): /* word32 B + S + A */
128 1.15 mycroft case R_TYPE(GLOB_DAT): /* word32 B + S */
129 1.4 mycroft def = _rtld_find_symdef(symnum, obj, &defobj, false);
130 1.3 mycroft if (def == NULL)
131 1.3 mycroft return -1;
132 1.16 thorpej if (__predict_true(RELOC_ALIGNED_P(where))) {
133 1.16 thorpej tmp = *where + (Elf_Addr)defobj->relocbase +
134 1.16 thorpej def->st_value;
135 1.24 rearnsha /* Set the Thumb bit, if needed. */
136 1.25 mycroft if (ELF_ST_TYPE(def->st_info) == STT_ARM_TFUNC)
137 1.24 rearnsha tmp |= 1;
138 1.16 thorpej *where = tmp;
139 1.16 thorpej } else {
140 1.16 thorpej tmp = load_ptr(where) +
141 1.16 thorpej (Elf_Addr)defobj->relocbase +
142 1.16 thorpej def->st_value;
143 1.24 rearnsha /* Set the Thumb bit, if needed. */
144 1.25 mycroft if (ELF_ST_TYPE(def->st_info) == STT_ARM_TFUNC)
145 1.24 rearnsha tmp |= 1;
146 1.16 thorpej store_ptr(where, tmp);
147 1.16 thorpej }
148 1.15 mycroft rdbg(("ABS32/GLOB_DAT %s in %s --> %p @ %p in %s",
149 1.5 mycroft obj->strtab + obj->symtab[symnum].st_name,
150 1.16 thorpej obj->path, (void *)tmp, where, defobj->path));
151 1.3 mycroft break;
152 1.3 mycroft
153 1.3 mycroft case R_TYPE(RELATIVE): /* word32 B + A */
154 1.16 thorpej if (__predict_true(RELOC_ALIGNED_P(where))) {
155 1.16 thorpej tmp = *where + (Elf_Addr)obj->relocbase;
156 1.16 thorpej *where = tmp;
157 1.16 thorpej } else {
158 1.16 thorpej tmp = load_ptr(where) +
159 1.16 thorpej (Elf_Addr)obj->relocbase;
160 1.16 thorpej store_ptr(where, tmp);
161 1.16 thorpej }
162 1.14 mycroft rdbg(("RELATIVE in %s --> %p", obj->path,
163 1.16 thorpej (void *)tmp));
164 1.3 mycroft break;
165 1.3 mycroft
166 1.3 mycroft case R_TYPE(COPY):
167 1.3 mycroft /*
168 1.3 mycroft * These are deferred until all other relocations have
169 1.3 mycroft * been done. All we do here is make sure that the
170 1.3 mycroft * COPY relocation is not in a shared library. They
171 1.3 mycroft * are allowed only in executable files.
172 1.3 mycroft */
173 1.8 mycroft if (obj->isdynamic) {
174 1.3 mycroft _rtld_error(
175 1.2 mycroft "%s: Unexpected R_COPY relocation in shared library",
176 1.3 mycroft obj->path);
177 1.3 mycroft return -1;
178 1.3 mycroft }
179 1.14 mycroft rdbg(("COPY (avoid in main)"));
180 1.3 mycroft break;
181 1.3 mycroft
182 1.3 mycroft default:
183 1.14 mycroft rdbg(("sym = %lu, type = %lu, offset = %p, "
184 1.3 mycroft "contents = %p, symbol = %s",
185 1.4 mycroft symnum, (u_long)ELF_R_TYPE(rel->r_info),
186 1.16 thorpej (void *)rel->r_offset, (void *)load_ptr(where),
187 1.4 mycroft obj->strtab + obj->symtab[symnum].st_name));
188 1.3 mycroft _rtld_error("%s: Unsupported relocation type %ld "
189 1.30 jmmv "in non-PLT relocations",
190 1.3 mycroft obj->path, (u_long) ELF_R_TYPE(rel->r_info));
191 1.2 mycroft return -1;
192 1.2 mycroft }
193 1.2 mycroft }
194 1.2 mycroft return 0;
195 1.2 mycroft }
196 1.6 mycroft
197 1.6 mycroft int
198 1.22 skrll _rtld_relocate_plt_lazy(const Obj_Entry *obj)
199 1.6 mycroft {
200 1.6 mycroft const Elf_Rel *rel;
201 1.6 mycroft
202 1.20 mycroft if (!obj->relocbase)
203 1.6 mycroft return 0;
204 1.6 mycroft
205 1.6 mycroft for (rel = obj->pltrel; rel < obj->pltrellim; rel++) {
206 1.6 mycroft Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
207 1.6 mycroft
208 1.6 mycroft assert(ELF_R_TYPE(rel->r_info) == R_TYPE(JUMP_SLOT));
209 1.6 mycroft
210 1.6 mycroft /* Just relocate the GOT slots pointing into the PLT */
211 1.6 mycroft *where += (Elf_Addr)obj->relocbase;
212 1.14 mycroft rdbg(("fixup !main in %s --> %p", obj->path, (void *)*where));
213 1.6 mycroft }
214 1.6 mycroft
215 1.6 mycroft return 0;
216 1.6 mycroft }
217 1.6 mycroft
218 1.28 matt static int
219 1.28 matt _rtld_relocate_plt_object(const Obj_Entry *obj, const Elf_Rel *rel,
220 1.28 matt Elf_Addr *tp)
221 1.6 mycroft {
222 1.18 mycroft Elf_Addr *where = (Elf_Addr *)(obj->relocbase + rel->r_offset);
223 1.6 mycroft Elf_Addr new_value;
224 1.6 mycroft const Elf_Sym *def;
225 1.6 mycroft const Obj_Entry *defobj;
226 1.31 christos unsigned long info = rel->r_info;
227 1.6 mycroft
228 1.33 skrll assert(ELF_R_TYPE(info) == R_TYPE(JUMP_SLOT));
229 1.6 mycroft
230 1.31 christos def = _rtld_find_plt_symdef(ELF_R_SYM(info), obj, &defobj, tp != NULL);
231 1.31 christos if (__predict_false(def == NULL))
232 1.28 matt return -1;
233 1.31 christos if (__predict_false(def == &_rtld_sym_zero))
234 1.31 christos return 0;
235 1.6 mycroft
236 1.6 mycroft new_value = (Elf_Addr)(defobj->relocbase + def->st_value);
237 1.24 rearnsha /* Set the Thumb bit, if needed. */
238 1.25 mycroft if (ELF_ST_TYPE(def->st_info) == STT_ARM_TFUNC)
239 1.24 rearnsha new_value |= 1;
240 1.14 mycroft rdbg(("bind now/fixup in %s --> old=%p new=%p",
241 1.6 mycroft defobj->strtab + def->st_name, (void *)*where, (void *)new_value));
242 1.6 mycroft if (*where != new_value)
243 1.6 mycroft *where = new_value;
244 1.28 matt if (tp)
245 1.28 matt *tp = new_value;
246 1.28 matt
247 1.28 matt return 0;
248 1.28 matt }
249 1.28 matt
250 1.28 matt caddr_t
251 1.28 matt _rtld_bind(const Obj_Entry *obj, Elf_Word reloff)
252 1.28 matt {
253 1.29 lukem const Elf_Rel *rel = (const Elf_Rel *)((const uint8_t *)obj->pltrel + reloff);
254 1.32 skrll Elf_Addr new_value = 0; /* XXX gcc */
255 1.28 matt int err;
256 1.28 matt
257 1.35 joerg _rtld_shared_enter();
258 1.28 matt err = _rtld_relocate_plt_object(obj, rel, &new_value);
259 1.31 christos if (err)
260 1.28 matt _rtld_die();
261 1.35 joerg _rtld_shared_exit();
262 1.6 mycroft
263 1.18 mycroft return (caddr_t)new_value;
264 1.21 skrll }
265 1.21 skrll int
266 1.21 skrll _rtld_relocate_plt_objects(const Obj_Entry *obj)
267 1.21 skrll {
268 1.21 skrll const Elf_Rel *rel;
269 1.28 matt int err = 0;
270 1.21 skrll
271 1.21 skrll for (rel = obj->pltrel; rel < obj->pltrellim; rel++) {
272 1.28 matt err = _rtld_relocate_plt_object(obj, rel, NULL);
273 1.28 matt if (err)
274 1.28 matt break;
275 1.21 skrll }
276 1.28 matt
277 1.28 matt return err;
278 1.6 mycroft }
279