symbol.c revision 1.31 1 /* $NetBSD: symbol.c,v 1.31 2003/07/24 10:12:26 skrll Exp $ */
2
3 /*
4 * Copyright 1996 John D. Polstra.
5 * Copyright 1996 Matt Thomas <matt (at) 3am-software.com>
6 * Copyright 2002 Charles M. Hannum <root (at) ihack.net>
7 * All rights reserved.
8 *
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
11 * are met:
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
17 * 3. All advertising materials mentioning features or use of this software
18 * must display the following acknowledgement:
19 * This product includes software developed by John Polstra.
20 * 4. The name of the author may not be used to endorse or promote products
21 * derived from this software without specific prior written permission.
22 *
23 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
24 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
25 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
26 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
27 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
28 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
30 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
31 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
32 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 */
34
35 /*
36 * Dynamic linker for ELF.
37 *
38 * John Polstra <jdp (at) polstra.com>.
39 */
40
41 #include <err.h>
42 #include <errno.h>
43 #include <fcntl.h>
44 #include <stdarg.h>
45 #include <stdio.h>
46 #include <stdlib.h>
47 #include <string.h>
48 #include <unistd.h>
49 #include <sys/types.h>
50 #include <sys/mman.h>
51 #include <dirent.h>
52
53 #include "debug.h"
54 #include "rtld.h"
55
56 /*
57 * Hash function for symbol table lookup. Don't even think about changing
58 * this. It is specified by the System V ABI.
59 */
60 unsigned long
61 _rtld_elf_hash(const char *name)
62 {
63 const unsigned char *p = (const unsigned char *) name;
64 unsigned long h = 0;
65 unsigned long g;
66 unsigned long c;
67
68 for (; __predict_true((c = *p) != '\0'); p++) {
69 h <<= 4;
70 h += c;
71 if ((g = h & 0xf0000000) != 0) {
72 h ^= g;
73 h ^= g >> 24;
74 }
75 }
76 return (h);
77 }
78
79 const Elf_Sym *
80 _rtld_symlook_list(const char *name, unsigned long hash, const Objlist *objlist,
81 const Obj_Entry **defobj_out, bool in_plt)
82 {
83 const Elf_Sym *symp;
84 const Elf_Sym *def;
85 const Obj_Entry *defobj;
86 const Objlist_Entry *elm;
87
88 def = NULL;
89 defobj = NULL;
90 SIMPLEQ_FOREACH(elm, objlist, link) {
91 rdbg(("search object %p (%s)", elm->obj, elm->obj->path));
92 if ((symp = _rtld_symlook_obj(name, hash, elm->obj, in_plt))
93 != NULL) {
94 if ((def == NULL) ||
95 (ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
96 def = symp;
97 defobj = elm->obj;
98 if (ELF_ST_BIND(def->st_info) != STB_WEAK)
99 break;
100 }
101 }
102 }
103 if (def != NULL)
104 *defobj_out = defobj;
105 return def;
106 }
107
108 /*
109 * Search the symbol table of a single shared object for a symbol of
110 * the given name. Returns a pointer to the symbol, or NULL if no
111 * definition was found.
112 *
113 * The symbol's hash value is passed in for efficiency reasons; that
114 * eliminates many recomputations of the hash value.
115 */
116 const Elf_Sym *
117 _rtld_symlook_obj(const char *name, unsigned long hash,
118 const Obj_Entry *obj, bool in_plt)
119 {
120 unsigned long symnum;
121
122 for (symnum = obj->buckets[hash % obj->nbuckets];
123 symnum != ELF_SYM_UNDEFINED;
124 symnum = obj->chains[symnum]) {
125 const Elf_Sym *symp;
126 const char *strp;
127
128 assert(symnum < obj->nchains);
129 symp = obj->symtab + symnum;
130 strp = obj->strtab + symp->st_name;
131 rdbg(("check %s vs %s in %p", name, strp, obj));
132 if (name[1] == strp[1] && !strcmp(name, strp)) {
133 if (symp->st_shndx != SHN_UNDEF)
134 return symp;
135 #ifndef __mips__
136 /*
137 * XXX DANGER WILL ROBINSON!
138 * If we have a function pointer in the executable's
139 * data section, it points to the executable's PLT
140 * slot, and there is NO relocation emitted. To make
141 * the function pointer comparable to function pointers
142 * in shared libraries, we must resolve data references
143 * in the libraries to point to PLT slots in the
144 * executable, if they exist.
145 */
146 else if (!in_plt && symp->st_value != 0 &&
147 ELF_ST_TYPE(symp->st_info) == STT_FUNC)
148 return symp;
149 #endif
150 else
151 return NULL;
152 }
153 }
154
155 return NULL;
156 }
157
158 /*
159 * Given a symbol number in a referencing object, find the corresponding
160 * definition of the symbol. Returns a pointer to the symbol, or NULL if
161 * no definition was found. Returns a pointer to the Obj_Entry of the
162 * defining object via the reference parameter DEFOBJ_OUT.
163 */
164 const Elf_Sym *
165 _rtld_find_symdef(unsigned long symnum, const Obj_Entry *refobj,
166 const Obj_Entry **defobj_out, bool in_plt)
167 {
168 const Elf_Sym *ref;
169 const Elf_Sym *def;
170 const Elf_Sym *symp;
171 const Obj_Entry *obj;
172 const Obj_Entry *defobj;
173 const Objlist_Entry *elm;
174 const char *name;
175 unsigned long hash;
176
177 ref = refobj->symtab + symnum;
178 name = refobj->strtab + ref->st_name;
179
180 hash = _rtld_elf_hash(name);
181 def = NULL;
182 defobj = NULL;
183
184 if (refobj->symbolic) { /* Look first in the referencing object */
185 symp = _rtld_symlook_obj(name, hash, refobj, in_plt);
186 if (symp != NULL) {
187 def = symp;
188 defobj = refobj;
189 }
190 }
191
192 /* Search all objects loaded at program start up. */
193 if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
194 rdbg(("search _rtld_list_main"));
195 symp = _rtld_symlook_list(name, hash, &_rtld_list_main, &obj, in_plt);
196 if (symp != NULL &&
197 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
198 def = symp;
199 defobj = obj;
200 }
201 }
202
203 /* Search all dlopened DAGs containing the referencing object. */
204 SIMPLEQ_FOREACH(elm, &refobj->dldags, link) {
205 if (def != NULL && ELF_ST_BIND(def->st_info) != STB_WEAK)
206 break;
207 rdbg(("search DAG with root %p (%s)", elm->obj, elm->obj->path));
208 symp = _rtld_symlook_list(name, hash, &elm->obj->dagmembers, &obj, in_plt);
209 if (symp != NULL &&
210 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
211 def = symp;
212 defobj = obj;
213 }
214 }
215
216 /* Search all RTLD_GLOBAL objects. */
217 if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
218 rdbg(("search _rtld_list_global"));
219 symp = _rtld_symlook_list(name, hash, &_rtld_list_global, &obj, in_plt);
220 if (symp != NULL &&
221 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
222 def = symp;
223 defobj = obj;
224 }
225 }
226
227 /*
228 * If we found no definition and the reference is weak, treat the
229 * symbol as having the value zero.
230 */
231 if (def == NULL && ELF_ST_BIND(ref->st_info) == STB_WEAK) {
232 rdbg((" returning _rtld_sym_zero@_rtld_objmain"));
233 def = &_rtld_sym_zero;
234 defobj = _rtld_objmain;
235 }
236
237 if (def != NULL)
238 *defobj_out = defobj;
239 else {
240 rdbg(("lookup failed"));
241 _rtld_error("%s: Undefined %ssymbol \"%s\" (symnum = %ld)",
242 refobj->path, in_plt ? "PLT " : "", name, symnum);
243 }
244 return def;
245 }
246
247 /*
248 * Given a symbol name in a referencing object, find the corresponding
249 * definition of the symbol. Returns a pointer to the symbol, or NULL if
250 * no definition was found. Returns a pointer to the Obj_Entry of the
251 * defining object via the reference parameter DEFOBJ_OUT.
252 */
253 const Elf_Sym *
254 _rtld_symlook_default(const char *name, unsigned long hash,
255 const Obj_Entry *refobj, const Obj_Entry **defobj_out, bool in_plt)
256 {
257 const Elf_Sym *def;
258 const Elf_Sym *symp;
259 const Obj_Entry *obj;
260 const Obj_Entry *defobj;
261 const Objlist_Entry *elm;
262 def = NULL;
263 defobj = NULL;
264
265 /* Look first in the referencing object if linked symbolically. */
266 if (refobj->symbolic) {
267 symp = _rtld_symlook_obj(name, hash, refobj, in_plt);
268 if (symp != NULL) {
269 def = symp;
270 defobj = refobj;
271 }
272 }
273
274 /* Search all objects loaded at program start up. */
275 if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
276 symp = _rtld_symlook_list(name, hash, &_rtld_list_main, &obj, in_plt);
277 if (symp != NULL &&
278 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
279 def = symp;
280 defobj = obj;
281 }
282 }
283
284 /* Search all dlopened DAGs containing the referencing object. */
285 SIMPLEQ_FOREACH(elm, &refobj->dldags, link) {
286 if (def != NULL && ELF_ST_BIND(def->st_info) != STB_WEAK)
287 break;
288 symp = _rtld_symlook_list(name, hash, &elm->obj->dagmembers, &obj,
289 in_plt);
290 if (symp != NULL &&
291 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
292 def = symp;
293 defobj = obj;
294 }
295 }
296
297 /* Search all DAGs whose roots are RTLD_GLOBAL objects. */
298 SIMPLEQ_FOREACH(elm, &_rtld_list_global, link) {
299 if (def != NULL && ELF_ST_BIND(def->st_info) != STB_WEAK)
300 break;
301 symp = _rtld_symlook_list(name, hash, &elm->obj->dagmembers, &obj,
302 in_plt);
303 if (symp != NULL &&
304 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
305 def = symp;
306 defobj = obj;
307 }
308 }
309
310 #ifdef notyet
311 /*
312 * Search the dynamic linker itself, and possibly resolve the
313 * symbol from there. This is how the application links to
314 * dynamic linker services such as dlopen. Only the values listed
315 * in the "exports" array can be resolved from the dynamic linker.
316 */
317 if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
318 symp = _rtld_symlook_obj(name, hash, &_rtld_objself, in_plt);
319 if (symp != NULL && is_exported(symp)) {
320 def = symp;
321 defobj = &_rtld_objself;
322 }
323 }
324 #endif
325
326 if (def != NULL)
327 *defobj_out = defobj;
328 return def;
329 }
330