symbol.c revision 1.23 1 1.23 mycroft /* $NetBSD: symbol.c,v 1.23 2002/10/03 20:35:20 mycroft 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.1 cgd /*
56 1.1 cgd * Hash function for symbol table lookup. Don't even think about changing
57 1.1 cgd * this. It is specified by the System V ABI.
58 1.1 cgd */
59 1.1 cgd unsigned long
60 1.3 christos _rtld_elf_hash(name)
61 1.3 christos 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.3 christos
67 1.3 christos while (*p != '\0') {
68 1.3 christos h = (h << 4) + *p++;
69 1.3 christos if ((g = h & 0xf0000000) != 0)
70 1.3 christos h ^= g >> 24;
71 1.3 christos h &= ~g;
72 1.3 christos }
73 1.3 christos return h;
74 1.1 cgd }
75 1.1 cgd
76 1.5 mycroft const Elf_Sym *
77 1.23 mycroft _rtld_symlook_list(const char *name, unsigned long hash, const Objlist *objlist,
78 1.21 mycroft const Obj_Entry **defobj_out, bool in_plt)
79 1.5 mycroft {
80 1.5 mycroft const Elf_Sym *symp;
81 1.5 mycroft const Elf_Sym *def;
82 1.5 mycroft const Obj_Entry *defobj;
83 1.5 mycroft const Objlist_Entry *elm;
84 1.5 mycroft
85 1.5 mycroft def = NULL;
86 1.5 mycroft defobj = NULL;
87 1.12 lukem SIMPLEQ_FOREACH(elm, objlist, link) {
88 1.23 mycroft rdbg(("search object %p (%s)", elm->obj, elm->obj->path));
89 1.21 mycroft if ((symp = _rtld_symlook_obj(name, hash, elm->obj, in_plt))
90 1.5 mycroft != NULL) {
91 1.5 mycroft if ((def == NULL) ||
92 1.6 thorpej (ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
93 1.5 mycroft def = symp;
94 1.5 mycroft defobj = elm->obj;
95 1.6 thorpej if (ELF_ST_BIND(def->st_info) != STB_WEAK)
96 1.5 mycroft break;
97 1.5 mycroft }
98 1.5 mycroft }
99 1.5 mycroft }
100 1.5 mycroft if (def != NULL)
101 1.5 mycroft *defobj_out = defobj;
102 1.5 mycroft return def;
103 1.5 mycroft }
104 1.5 mycroft
105 1.1 cgd /*
106 1.1 cgd * Search the symbol table of a single shared object for a symbol of
107 1.1 cgd * the given name. Returns a pointer to the symbol, or NULL if no
108 1.1 cgd * definition was found.
109 1.1 cgd *
110 1.1 cgd * The symbol's hash value is passed in for efficiency reasons; that
111 1.1 cgd * eliminates many recomputations of the hash value.
112 1.1 cgd */
113 1.1 cgd const Elf_Sym *
114 1.21 mycroft _rtld_symlook_obj(name, hash, obj, in_plt)
115 1.3 christos const char *name;
116 1.3 christos unsigned long hash;
117 1.3 christos const Obj_Entry *obj;
118 1.21 mycroft 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.15 mycroft _rtld_find_symdef(symnum, refobj, defobj_out, in_plt)
166 1.15 mycroft unsigned long symnum;
167 1.17 mycroft const Obj_Entry *refobj;
168 1.3 christos const Obj_Entry **defobj_out;
169 1.3 christos bool in_plt;
170 1.1 cgd {
171 1.11 rafal const Elf_Sym *ref;
172 1.5 mycroft const Elf_Sym *def;
173 1.5 mycroft const Elf_Sym *symp;
174 1.3 christos const Obj_Entry *obj;
175 1.5 mycroft const Obj_Entry *defobj;
176 1.5 mycroft const Objlist_Entry *elm;
177 1.13 junyoung const char *name;
178 1.3 christos unsigned long hash;
179 1.3 christos
180 1.11 rafal ref = refobj->symtab + symnum;
181 1.13 junyoung name = refobj->strtab + ref->st_name;
182 1.11 rafal
183 1.3 christos hash = _rtld_elf_hash(name);
184 1.5 mycroft def = NULL;
185 1.5 mycroft defobj = NULL;
186 1.5 mycroft
187 1.3 christos if (refobj->symbolic) { /* Look first in the referencing object */
188 1.21 mycroft symp = _rtld_symlook_obj(name, hash, refobj, in_plt);
189 1.5 mycroft if (symp != NULL) {
190 1.5 mycroft def = symp;
191 1.5 mycroft defobj = refobj;
192 1.5 mycroft }
193 1.5 mycroft }
194 1.5 mycroft
195 1.5 mycroft /* Search all objects loaded at program start up. */
196 1.6 thorpej if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
197 1.23 mycroft rdbg(("search _rtld_list_main"));
198 1.21 mycroft symp = _rtld_symlook_list(name, hash, &_rtld_list_main, &obj, in_plt);
199 1.5 mycroft if (symp != NULL &&
200 1.6 thorpej (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
201 1.5 mycroft def = symp;
202 1.5 mycroft defobj = obj;
203 1.5 mycroft }
204 1.5 mycroft }
205 1.5 mycroft
206 1.5 mycroft /* Search all dlopened DAGs containing the referencing object. */
207 1.12 lukem SIMPLEQ_FOREACH(elm, &refobj->dldags, link) {
208 1.6 thorpej if (def != NULL && ELF_ST_BIND(def->st_info) != STB_WEAK)
209 1.5 mycroft break;
210 1.23 mycroft rdbg(("search DAG with root %p (%s)", elm->obj, elm->obj->path));
211 1.21 mycroft symp = _rtld_symlook_list(name, hash, &elm->obj->dagmembers, &obj, in_plt);
212 1.5 mycroft if (symp != NULL &&
213 1.6 thorpej (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
214 1.5 mycroft def = symp;
215 1.5 mycroft defobj = obj;
216 1.3 christos }
217 1.3 christos }
218 1.5 mycroft
219 1.5 mycroft /* Search all RTLD_GLOBAL objects. */
220 1.6 thorpej if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
221 1.23 mycroft rdbg(("search _rtld_list_global"));
222 1.21 mycroft symp = _rtld_symlook_list(name, hash, &_rtld_list_global, &obj, in_plt);
223 1.5 mycroft if (symp != NULL &&
224 1.6 thorpej (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
225 1.5 mycroft def = symp;
226 1.5 mycroft defobj = obj;
227 1.3 christos }
228 1.3 christos }
229 1.5 mycroft
230 1.5 mycroft /*
231 1.5 mycroft * If we found no definition and the reference is weak, treat the
232 1.5 mycroft * symbol as having the value zero.
233 1.5 mycroft */
234 1.6 thorpej if (def == NULL && ELF_ST_BIND(ref->st_info) == STB_WEAK) {
235 1.18 mycroft rdbg((" returning _rtld_sym_zero@_rtld_objmain"));
236 1.5 mycroft def = &_rtld_sym_zero;
237 1.5 mycroft defobj = _rtld_objmain;
238 1.5 mycroft }
239 1.5 mycroft
240 1.5 mycroft if (def != NULL)
241 1.5 mycroft *defobj_out = defobj;
242 1.23 mycroft else {
243 1.23 mycroft rdbg(("lookup failed"));
244 1.14 mycroft _rtld_error("%s: Undefined %ssymbol \"%s\" (symnum = %ld)",
245 1.14 mycroft refobj->path, in_plt ? "PLT " : "", name, symnum);
246 1.23 mycroft }
247 1.5 mycroft return def;
248 1.1 cgd }
249