symbol.c revision 1.23 1 /* $NetBSD: symbol.c,v 1.23 2002/10/03 20:35:20 mycroft Exp $ */
2
3 /*
4 * Copyright 1996 John D. Polstra.
5 * Copyright 1996 Matt Thomas <matt (at) 3am-software.com>
6 * All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
16 * 3. All advertising materials mentioning features or use of this software
17 * must display the following acknowledgement:
18 * This product includes software developed by John Polstra.
19 * 4. The name of the author may not be used to endorse or promote products
20 * derived from this software without specific prior written permission.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
23 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
24 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
25 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
27 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
31 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 */
33
34 /*
35 * Dynamic linker for ELF.
36 *
37 * John Polstra <jdp (at) polstra.com>.
38 */
39
40 #include <err.h>
41 #include <errno.h>
42 #include <fcntl.h>
43 #include <stdarg.h>
44 #include <stdio.h>
45 #include <stdlib.h>
46 #include <string.h>
47 #include <unistd.h>
48 #include <sys/types.h>
49 #include <sys/mman.h>
50 #include <dirent.h>
51
52 #include "debug.h"
53 #include "rtld.h"
54
55 /*
56 * Hash function for symbol table lookup. Don't even think about changing
57 * this. It is specified by the System V ABI.
58 */
59 unsigned long
60 _rtld_elf_hash(name)
61 const char *name;
62 {
63 const unsigned char *p = (const unsigned char *) name;
64 unsigned long h = 0;
65 unsigned long g;
66
67 while (*p != '\0') {
68 h = (h << 4) + *p++;
69 if ((g = h & 0xf0000000) != 0)
70 h ^= g >> 24;
71 h &= ~g;
72 }
73 return h;
74 }
75
76 const Elf_Sym *
77 _rtld_symlook_list(const char *name, unsigned long hash, const Objlist *objlist,
78 const Obj_Entry **defobj_out, bool in_plt)
79 {
80 const Elf_Sym *symp;
81 const Elf_Sym *def;
82 const Obj_Entry *defobj;
83 const Objlist_Entry *elm;
84
85 def = NULL;
86 defobj = NULL;
87 SIMPLEQ_FOREACH(elm, objlist, link) {
88 rdbg(("search object %p (%s)", elm->obj, elm->obj->path));
89 if ((symp = _rtld_symlook_obj(name, hash, elm->obj, in_plt))
90 != NULL) {
91 if ((def == NULL) ||
92 (ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
93 def = symp;
94 defobj = elm->obj;
95 if (ELF_ST_BIND(def->st_info) != STB_WEAK)
96 break;
97 }
98 }
99 }
100 if (def != NULL)
101 *defobj_out = defobj;
102 return def;
103 }
104
105 /*
106 * Search the symbol table of a single shared object for a symbol of
107 * the given name. Returns a pointer to the symbol, or NULL if no
108 * definition was found.
109 *
110 * The symbol's hash value is passed in for efficiency reasons; that
111 * eliminates many recomputations of the hash value.
112 */
113 const Elf_Sym *
114 _rtld_symlook_obj(name, hash, obj, in_plt)
115 const char *name;
116 unsigned long hash;
117 const Obj_Entry *obj;
118 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(symnum, refobj, defobj_out, in_plt)
166 unsigned long symnum;
167 const Obj_Entry *refobj;
168 const Obj_Entry **defobj_out;
169 bool in_plt;
170 {
171 const Elf_Sym *ref;
172 const Elf_Sym *def;
173 const Elf_Sym *symp;
174 const Obj_Entry *obj;
175 const Obj_Entry *defobj;
176 const Objlist_Entry *elm;
177 const char *name;
178 unsigned long hash;
179
180 ref = refobj->symtab + symnum;
181 name = refobj->strtab + ref->st_name;
182
183 hash = _rtld_elf_hash(name);
184 def = NULL;
185 defobj = NULL;
186
187 if (refobj->symbolic) { /* Look first in the referencing object */
188 symp = _rtld_symlook_obj(name, hash, refobj, in_plt);
189 if (symp != NULL) {
190 def = symp;
191 defobj = refobj;
192 }
193 }
194
195 /* Search all objects loaded at program start up. */
196 if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
197 rdbg(("search _rtld_list_main"));
198 symp = _rtld_symlook_list(name, hash, &_rtld_list_main, &obj, in_plt);
199 if (symp != NULL &&
200 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
201 def = symp;
202 defobj = obj;
203 }
204 }
205
206 /* Search all dlopened DAGs containing the referencing object. */
207 SIMPLEQ_FOREACH(elm, &refobj->dldags, link) {
208 if (def != NULL && ELF_ST_BIND(def->st_info) != STB_WEAK)
209 break;
210 rdbg(("search DAG with root %p (%s)", elm->obj, elm->obj->path));
211 symp = _rtld_symlook_list(name, hash, &elm->obj->dagmembers, &obj, in_plt);
212 if (symp != NULL &&
213 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
214 def = symp;
215 defobj = obj;
216 }
217 }
218
219 /* Search all RTLD_GLOBAL objects. */
220 if (def == NULL || ELF_ST_BIND(def->st_info) == STB_WEAK) {
221 rdbg(("search _rtld_list_global"));
222 symp = _rtld_symlook_list(name, hash, &_rtld_list_global, &obj, in_plt);
223 if (symp != NULL &&
224 (def == NULL || ELF_ST_BIND(symp->st_info) != STB_WEAK)) {
225 def = symp;
226 defobj = obj;
227 }
228 }
229
230 /*
231 * If we found no definition and the reference is weak, treat the
232 * symbol as having the value zero.
233 */
234 if (def == NULL && ELF_ST_BIND(ref->st_info) == STB_WEAK) {
235 rdbg((" returning _rtld_sym_zero@_rtld_objmain"));
236 def = &_rtld_sym_zero;
237 defobj = _rtld_objmain;
238 }
239
240 if (def != NULL)
241 *defobj_out = defobj;
242 else {
243 rdbg(("lookup failed"));
244 _rtld_error("%s: Undefined %ssymbol \"%s\" (symnum = %ld)",
245 refobj->path, in_plt ? "PLT " : "", name, symnum);
246 }
247 return def;
248 }
249