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