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