db_elf.c revision 1.26 1 1.26 ad /* $NetBSD: db_elf.c,v 1.26 2009/03/07 22:02:17 ad Exp $ */
2 1.1 thorpej
3 1.1 thorpej /*-
4 1.26 ad * Copyright (c) 1997, 2009 The NetBSD Foundation, Inc.
5 1.1 thorpej * All rights reserved.
6 1.1 thorpej *
7 1.1 thorpej * This code is derived from software contributed to The NetBSD Foundation
8 1.1 thorpej * by Jason R. Thorpe of the Numerical Aerospace Simulation Facility,
9 1.26 ad * NASA Ames Research Center, and by Andrew Doran.
10 1.1 thorpej *
11 1.1 thorpej * Redistribution and use in source and binary forms, with or without
12 1.1 thorpej * modification, are permitted provided that the following conditions
13 1.1 thorpej * are met:
14 1.1 thorpej * 1. Redistributions of source code must retain the above copyright
15 1.1 thorpej * notice, this list of conditions and the following disclaimer.
16 1.1 thorpej * 2. Redistributions in binary form must reproduce the above copyright
17 1.1 thorpej * notice, this list of conditions and the following disclaimer in the
18 1.1 thorpej * documentation and/or other materials provided with the distribution.
19 1.1 thorpej *
20 1.1 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
21 1.1 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
22 1.1 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
23 1.1 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
24 1.1 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
25 1.1 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
26 1.1 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
27 1.1 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
28 1.1 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
29 1.1 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
30 1.1 thorpej * POSSIBILITY OF SUCH DAMAGE.
31 1.1 thorpej */
32 1.18 lukem
33 1.18 lukem #include <sys/cdefs.h>
34 1.26 ad __KERNEL_RCSID(0, "$NetBSD: db_elf.c,v 1.26 2009/03/07 22:02:17 ad Exp $");
35 1.1 thorpej
36 1.1 thorpej #include <sys/param.h>
37 1.20 simonb #include <sys/systm.h>
38 1.1 thorpej #include <sys/proc.h>
39 1.1 thorpej
40 1.26 ad #include <ddb/ddb.h>
41 1.1 thorpej
42 1.26 ad #include <machine/pmap.h>
43 1.26 ad #include <machine/vmparam.h>
44 1.1 thorpej
45 1.1 thorpej #ifdef DB_ELF_SYMBOLS
46 1.1 thorpej
47 1.1 thorpej #ifndef DB_ELFSIZE
48 1.1 thorpej #error Must define DB_ELFSIZE!
49 1.1 thorpej #endif
50 1.1 thorpej
51 1.1 thorpej #define ELFSIZE DB_ELFSIZE
52 1.1 thorpej
53 1.1 thorpej #include <sys/exec_elf.h>
54 1.1 thorpej
55 1.20 simonb static char *db_elf_find_strtab(db_symtab_t *);
56 1.1 thorpej
57 1.1 thorpej #define STAB_TO_SYMSTART(stab) ((Elf_Sym *)((stab)->start))
58 1.1 thorpej #define STAB_TO_SYMEND(stab) ((Elf_Sym *)((stab)->end))
59 1.1 thorpej #define STAB_TO_EHDR(stab) ((Elf_Ehdr *)((stab)->private))
60 1.1 thorpej #define STAB_TO_SHDR(stab, e) ((Elf_Shdr *)((stab)->private + (e)->e_shoff))
61 1.1 thorpej
62 1.23 thorpej static bool db_elf_sym_init(int, void *, void *, const char *);
63 1.26 ad static db_sym_t db_elf_lookup(db_symtab_t *, const char *);
64 1.20 simonb static db_sym_t db_elf_search_symbol(db_symtab_t *, db_addr_t, db_strategy_t,
65 1.20 simonb db_expr_t *);
66 1.26 ad static void db_elf_symbol_values(db_symtab_t *, db_sym_t, const char **,
67 1.20 simonb db_expr_t *);
68 1.23 thorpej static bool db_elf_line_at_pc(db_symtab_t *, db_sym_t, char **, int *,
69 1.20 simonb db_expr_t);
70 1.23 thorpej static bool db_elf_sym_numargs(db_symtab_t *, db_sym_t, int *, char **);
71 1.20 simonb static void db_elf_forall(db_symtab_t *, db_forall_func_t db_forall_func,
72 1.20 simonb void *);
73 1.7 thorpej
74 1.14 jdolecek const db_symformat_t db_symformat_elf = {
75 1.7 thorpej "ELF",
76 1.7 thorpej db_elf_sym_init,
77 1.7 thorpej db_elf_lookup,
78 1.7 thorpej db_elf_search_symbol,
79 1.7 thorpej db_elf_symbol_values,
80 1.7 thorpej db_elf_line_at_pc,
81 1.7 thorpej db_elf_sym_numargs,
82 1.11 jhawk db_elf_forall
83 1.7 thorpej };
84 1.7 thorpej
85 1.26 ad static db_symtab_t db_symtabs;
86 1.26 ad
87 1.26 ad /*
88 1.26 ad * Add symbol table, with given name, to symbol tables.
89 1.26 ad */
90 1.26 ad static int
91 1.26 ad db_add_symbol_table(char *start, char *end, const char *name, char *ref)
92 1.26 ad {
93 1.26 ad
94 1.26 ad db_symtabs.start = start;
95 1.26 ad db_symtabs.end = end;
96 1.26 ad db_symtabs.name = name;
97 1.26 ad db_symtabs.private = ref;
98 1.26 ad
99 1.26 ad return(0);
100 1.26 ad }
101 1.26 ad
102 1.1 thorpej /*
103 1.1 thorpej * Find the symbol table and strings; tell ddb about them.
104 1.1 thorpej */
105 1.23 thorpej static bool
106 1.20 simonb db_elf_sym_init(
107 1.20 simonb int symsize, /* size of symbol table */
108 1.20 simonb void *symtab, /* pointer to start of symbol table */
109 1.20 simonb void *esymtab, /* pointer to end of string table,
110 1.1 thorpej for checking - rounded up to integer
111 1.1 thorpej boundary */
112 1.20 simonb const char *name
113 1.20 simonb )
114 1.1 thorpej {
115 1.1 thorpej Elf_Ehdr *elf;
116 1.1 thorpej Elf_Shdr *shp;
117 1.1 thorpej Elf_Sym *symp, *symtab_start, *symtab_end;
118 1.15 bjh21 char *strtab_start, *strtab_end;
119 1.15 bjh21 int i, j;
120 1.1 thorpej
121 1.1 thorpej if (ALIGNED_POINTER(symtab, long) == 0) {
122 1.7 thorpej printf("[ %s symbol table has bad start address %p ]\n",
123 1.7 thorpej name, symtab);
124 1.24 thorpej return (false);
125 1.1 thorpej }
126 1.1 thorpej
127 1.1 thorpej symtab_start = symtab_end = NULL;
128 1.1 thorpej strtab_start = strtab_end = NULL;
129 1.1 thorpej
130 1.1 thorpej /*
131 1.1 thorpej * The format of the symbols loaded by the boot program is:
132 1.1 thorpej *
133 1.1 thorpej * Elf exec header
134 1.1 thorpej * first section header
135 1.1 thorpej * . . .
136 1.1 thorpej * . . .
137 1.1 thorpej * last section header
138 1.1 thorpej * first symbol or string table section
139 1.1 thorpej * . . .
140 1.1 thorpej * . . .
141 1.1 thorpej * last symbol or string table section
142 1.1 thorpej */
143 1.1 thorpej
144 1.1 thorpej /*
145 1.1 thorpej * Validate the Elf header.
146 1.1 thorpej */
147 1.1 thorpej elf = (Elf_Ehdr *)symtab;
148 1.10 kleink if (memcmp(elf->e_ident, ELFMAG, SELFMAG) != 0 ||
149 1.10 kleink elf->e_ident[EI_CLASS] != ELFCLASS)
150 1.1 thorpej goto badheader;
151 1.1 thorpej
152 1.1 thorpej switch (elf->e_machine) {
153 1.1 thorpej
154 1.9 erh ELFDEFNNAME(MACHDEP_ID_CASES)
155 1.1 thorpej
156 1.1 thorpej default:
157 1.1 thorpej goto badheader;
158 1.1 thorpej }
159 1.1 thorpej
160 1.1 thorpej /*
161 1.15 bjh21 * Find the first (and, we hope, only) SHT_SYMTAB section in
162 1.15 bjh21 * the file, and the SHT_STRTAB section that goes with it.
163 1.1 thorpej */
164 1.16 bjh21 if (elf->e_shoff == 0)
165 1.16 bjh21 goto badheader;
166 1.8 augustss shp = (Elf_Shdr *)((char *)symtab + elf->e_shoff);
167 1.1 thorpej for (i = 0; i < elf->e_shnum; i++) {
168 1.15 bjh21 if (shp[i].sh_type == SHT_SYMTAB) {
169 1.16 bjh21 if (shp[i].sh_offset == 0)
170 1.16 bjh21 continue;
171 1.15 bjh21 /* Got the symbol table. */
172 1.20 simonb symtab_start = (Elf_Sym *)((char *)symtab +
173 1.8 augustss shp[i].sh_offset);
174 1.20 simonb symtab_end = (Elf_Sym *)((char *)symtab +
175 1.8 augustss shp[i].sh_offset + shp[i].sh_size);
176 1.15 bjh21 /* Find the string table to go with it. */
177 1.15 bjh21 j = shp[i].sh_link;
178 1.16 bjh21 if (shp[j].sh_offset == 0)
179 1.16 bjh21 continue;
180 1.15 bjh21 strtab_start = (char *)symtab + shp[j].sh_offset;
181 1.15 bjh21 strtab_end = (char *)symtab + shp[j].sh_offset +
182 1.15 bjh21 shp[j].sh_size;
183 1.15 bjh21 /* There should only be one symbol table. */
184 1.15 bjh21 break;
185 1.1 thorpej }
186 1.1 thorpej }
187 1.1 thorpej
188 1.1 thorpej /*
189 1.1 thorpej * Now, sanity check the symbols against the string table.
190 1.1 thorpej */
191 1.2 thorpej if (symtab_start == NULL || strtab_start == NULL ||
192 1.2 thorpej ALIGNED_POINTER(symtab_start, long) == 0 ||
193 1.2 thorpej ALIGNED_POINTER(strtab_start, long) == 0)
194 1.1 thorpej goto badheader;
195 1.1 thorpej for (symp = symtab_start; symp < symtab_end; symp++)
196 1.1 thorpej if (symp->st_name + strtab_start > strtab_end)
197 1.1 thorpej goto badheader;
198 1.1 thorpej
199 1.1 thorpej /*
200 1.1 thorpej * Link the symbol table into the debugger.
201 1.1 thorpej */
202 1.1 thorpej if (db_add_symbol_table((char *)symtab_start,
203 1.7 thorpej (char *)symtab_end, name, (char *)symtab) != -1) {
204 1.24 thorpej return (true);
205 1.7 thorpej }
206 1.7 thorpej
207 1.24 thorpej return (false);
208 1.1 thorpej
209 1.1 thorpej badheader:
210 1.7 thorpej printf("[ %s ELF symbol table not valid ]\n", name);
211 1.24 thorpej return (false);
212 1.1 thorpej }
213 1.1 thorpej
214 1.1 thorpej /*
215 1.1 thorpej * Internal helper function - return a pointer to the string table
216 1.1 thorpej * for the current symbol table.
217 1.1 thorpej */
218 1.1 thorpej static char *
219 1.20 simonb db_elf_find_strtab(db_symtab_t *stab)
220 1.1 thorpej {
221 1.1 thorpej Elf_Ehdr *elf = STAB_TO_EHDR(stab);
222 1.1 thorpej Elf_Shdr *shp = STAB_TO_SHDR(stab, elf);
223 1.1 thorpej int i;
224 1.1 thorpej
225 1.26 ad stab = &db_symtabs;
226 1.26 ad
227 1.17 christos /*
228 1.17 christos * We don't load ELF header for ELF modules.
229 1.17 christos * Find out if this is a loadable module. If so,
230 1.17 christos * string table comes right after symbol table.
231 1.17 christos */
232 1.17 christos if ((Elf_Sym *)elf == STAB_TO_SYMSTART(stab)) {
233 1.17 christos return ((char *)STAB_TO_SYMEND(stab));
234 1.17 christos }
235 1.1 thorpej for (i = 0; i < elf->e_shnum; i++) {
236 1.15 bjh21 if (shp[i].sh_type == SHT_SYMTAB)
237 1.15 bjh21 return ((char*)elf + shp[shp[i].sh_link].sh_offset);
238 1.1 thorpej }
239 1.1 thorpej
240 1.1 thorpej return (NULL);
241 1.1 thorpej }
242 1.1 thorpej
243 1.1 thorpej /*
244 1.1 thorpej * Lookup the symbol with the given name.
245 1.1 thorpej */
246 1.20 simonb static db_sym_t
247 1.26 ad db_elf_lookup(db_symtab_t *stab, const char *symstr)
248 1.1 thorpej {
249 1.1 thorpej Elf_Sym *symp, *symtab_start, *symtab_end;
250 1.1 thorpej char *strtab;
251 1.1 thorpej
252 1.26 ad stab = &db_symtabs;
253 1.26 ad
254 1.1 thorpej symtab_start = STAB_TO_SYMSTART(stab);
255 1.1 thorpej symtab_end = STAB_TO_SYMEND(stab);
256 1.1 thorpej
257 1.1 thorpej strtab = db_elf_find_strtab(stab);
258 1.1 thorpej if (strtab == NULL)
259 1.1 thorpej return ((db_sym_t)0);
260 1.1 thorpej
261 1.1 thorpej for (symp = symtab_start; symp < symtab_end; symp++) {
262 1.1 thorpej if (symp->st_name != 0 &&
263 1.1 thorpej db_eqname(strtab + symp->st_name, symstr, 0))
264 1.1 thorpej return ((db_sym_t)symp);
265 1.1 thorpej }
266 1.1 thorpej
267 1.1 thorpej return ((db_sym_t)0);
268 1.1 thorpej }
269 1.1 thorpej
270 1.1 thorpej /*
271 1.1 thorpej * Search for the symbol with the given address (matching within the
272 1.1 thorpej * provided threshold).
273 1.1 thorpej */
274 1.20 simonb static db_sym_t
275 1.20 simonb db_elf_search_symbol(db_symtab_t *symtab, db_addr_t off, db_strategy_t strategy,
276 1.20 simonb db_expr_t *diffp)
277 1.1 thorpej {
278 1.1 thorpej Elf_Sym *rsymp, *symp, *symtab_start, *symtab_end;
279 1.22 yamt db_addr_t diff = *diffp;
280 1.1 thorpej
281 1.26 ad symtab = &db_symtabs;
282 1.26 ad
283 1.1 thorpej symtab_start = STAB_TO_SYMSTART(symtab);
284 1.1 thorpej symtab_end = STAB_TO_SYMEND(symtab);
285 1.1 thorpej
286 1.1 thorpej rsymp = NULL;
287 1.1 thorpej
288 1.1 thorpej for (symp = symtab_start; symp < symtab_end; symp++) {
289 1.1 thorpej if (symp->st_name == 0)
290 1.1 thorpej continue;
291 1.26 ad
292 1.6 eeh #if 0
293 1.6 eeh /* This prevents me from seeing anythin in locore.s -- eeh */
294 1.26 ad if (ELF_ST_TYPE(symp->st_info) != STT_OBJECT &&
295 1.26 ad ELF_ST_TYPE(symp->st_info) != STT_FUNC)
296 1.1 thorpej continue;
297 1.6 eeh #endif
298 1.1 thorpej
299 1.1 thorpej if (off >= symp->st_value) {
300 1.22 yamt if (off - symp->st_value < diff) {
301 1.1 thorpej diff = off - symp->st_value;
302 1.1 thorpej rsymp = symp;
303 1.1 thorpej if (diff == 0) {
304 1.1 thorpej if (strategy == DB_STGY_PROC &&
305 1.10 kleink ELFDEFNNAME(ST_TYPE)(symp->st_info)
306 1.10 kleink == STT_FUNC &&
307 1.10 kleink ELFDEFNNAME(ST_BIND)(symp->st_info)
308 1.10 kleink != STB_LOCAL)
309 1.1 thorpej break;
310 1.1 thorpej if (strategy == DB_STGY_ANY &&
311 1.10 kleink ELFDEFNNAME(ST_BIND)(symp->st_info)
312 1.10 kleink != STB_LOCAL)
313 1.1 thorpej break;
314 1.1 thorpej }
315 1.22 yamt } else if (off - symp->st_value == diff) {
316 1.1 thorpej if (rsymp == NULL)
317 1.1 thorpej rsymp = symp;
318 1.10 kleink else if (ELFDEFNNAME(ST_BIND)(rsymp->st_info)
319 1.10 kleink == STB_LOCAL &&
320 1.10 kleink ELFDEFNNAME(ST_BIND)(symp->st_info)
321 1.10 kleink != STB_LOCAL) {
322 1.1 thorpej /* pick the external symbol */
323 1.1 thorpej rsymp = symp;
324 1.1 thorpej }
325 1.1 thorpej }
326 1.1 thorpej }
327 1.1 thorpej }
328 1.1 thorpej
329 1.1 thorpej if (rsymp == NULL)
330 1.1 thorpej *diffp = off;
331 1.1 thorpej else
332 1.1 thorpej *diffp = diff;
333 1.1 thorpej
334 1.1 thorpej return ((db_sym_t)rsymp);
335 1.1 thorpej }
336 1.1 thorpej
337 1.1 thorpej /*
338 1.1 thorpej * Return the name and value for a symbol.
339 1.1 thorpej */
340 1.20 simonb static void
341 1.26 ad db_elf_symbol_values(db_symtab_t *symtab, db_sym_t sym, const char **namep,
342 1.20 simonb db_expr_t *valuep)
343 1.1 thorpej {
344 1.1 thorpej Elf_Sym *symp = (Elf_Sym *)sym;
345 1.1 thorpej char *strtab;
346 1.1 thorpej
347 1.26 ad symtab = &db_symtabs;
348 1.26 ad
349 1.1 thorpej if (namep) {
350 1.1 thorpej strtab = db_elf_find_strtab(symtab);
351 1.1 thorpej if (strtab == NULL)
352 1.1 thorpej *namep = NULL;
353 1.1 thorpej else
354 1.1 thorpej *namep = strtab + symp->st_name;
355 1.1 thorpej }
356 1.1 thorpej
357 1.1 thorpej if (valuep)
358 1.1 thorpej *valuep = symp->st_value;
359 1.1 thorpej }
360 1.1 thorpej
361 1.1 thorpej /*
362 1.1 thorpej * Return the file and line number of the current program counter
363 1.1 thorpej * if we can find the appropriate debugging symbol.
364 1.1 thorpej */
365 1.23 thorpej static bool
366 1.7 thorpej db_elf_line_at_pc(symtab, cursym, filename, linenum, off)
367 1.1 thorpej db_symtab_t *symtab;
368 1.1 thorpej db_sym_t cursym;
369 1.1 thorpej char **filename;
370 1.1 thorpej int *linenum;
371 1.1 thorpej db_expr_t off;
372 1.1 thorpej {
373 1.1 thorpej
374 1.1 thorpej /*
375 1.1 thorpej * XXX We don't support this (yet).
376 1.1 thorpej */
377 1.24 thorpej return (false);
378 1.1 thorpej }
379 1.1 thorpej
380 1.1 thorpej /*
381 1.1 thorpej * Returns the number of arguments to a function and their
382 1.1 thorpej * names if we can find the appropriate debugging symbol.
383 1.1 thorpej */
384 1.23 thorpej static bool
385 1.20 simonb db_elf_sym_numargs(db_symtab_t *symtab, db_sym_t cursym, int *nargp,
386 1.20 simonb char **argnamep)
387 1.1 thorpej {
388 1.1 thorpej
389 1.1 thorpej /*
390 1.1 thorpej * XXX We don't support this (yet).
391 1.1 thorpej */
392 1.24 thorpej return (false);
393 1.11 jhawk }
394 1.11 jhawk
395 1.20 simonb static void
396 1.20 simonb db_elf_forall(db_symtab_t *stab, db_forall_func_t db_forall_func, void *arg)
397 1.11 jhawk {
398 1.11 jhawk char *strtab;
399 1.11 jhawk static char suffix[2];
400 1.11 jhawk Elf_Sym *symp, *symtab_start, *symtab_end;
401 1.11 jhawk
402 1.26 ad stab = &db_symtabs;
403 1.26 ad
404 1.11 jhawk symtab_start = STAB_TO_SYMSTART(stab);
405 1.11 jhawk symtab_end = STAB_TO_SYMEND(stab);
406 1.11 jhawk
407 1.11 jhawk strtab = db_elf_find_strtab(stab);
408 1.11 jhawk if (strtab == NULL)
409 1.11 jhawk return;
410 1.11 jhawk
411 1.11 jhawk for (symp = symtab_start; symp < symtab_end; symp++)
412 1.11 jhawk if (symp->st_name != 0) {
413 1.11 jhawk suffix[1] = '\0';
414 1.11 jhawk switch (ELFDEFNNAME(ST_TYPE)(symp->st_info)) {
415 1.11 jhawk case STT_OBJECT:
416 1.11 jhawk suffix[0] = '+';
417 1.11 jhawk break;
418 1.11 jhawk case STT_FUNC:
419 1.11 jhawk suffix[0] = '*';
420 1.11 jhawk break;
421 1.11 jhawk case STT_SECTION:
422 1.11 jhawk suffix[0] = '&';
423 1.11 jhawk break;
424 1.11 jhawk case STT_FILE:
425 1.11 jhawk suffix[0] = '/';
426 1.11 jhawk break;
427 1.11 jhawk default:
428 1.11 jhawk suffix[0] = '\0';
429 1.11 jhawk }
430 1.11 jhawk (*db_forall_func)(stab, (db_sym_t)symp,
431 1.11 jhawk strtab + symp->st_name, suffix, 0, arg);
432 1.11 jhawk }
433 1.11 jhawk return;
434 1.1 thorpej }
435 1.1 thorpej #endif /* DB_ELF_SYMBOLS */
436