db_elf.c revision 1.7 1 1.7 thorpej /* $NetBSD: db_elf.c,v 1.7 1998/12/04 20:18:05 thorpej Exp $ */
2 1.1 thorpej
3 1.1 thorpej /*-
4 1.1 thorpej * Copyright (c) 1997 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.1 thorpej * NASA Ames Research Center.
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 * 3. All advertising materials mentioning features or use of this software
20 1.1 thorpej * must display the following acknowledgement:
21 1.1 thorpej * This product includes software developed by the NetBSD
22 1.1 thorpej * Foundation, Inc. and its contributors.
23 1.1 thorpej * 4. Neither the name of The NetBSD Foundation nor the names of its
24 1.1 thorpej * contributors may be used to endorse or promote products derived
25 1.1 thorpej * from this software without specific prior written permission.
26 1.1 thorpej *
27 1.1 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
28 1.1 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
29 1.1 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
30 1.1 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
31 1.1 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
32 1.1 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
33 1.1 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
34 1.1 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
35 1.1 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
36 1.1 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
37 1.1 thorpej * POSSIBILITY OF SUCH DAMAGE.
38 1.1 thorpej */
39 1.1 thorpej
40 1.1 thorpej #include <sys/types.h>
41 1.1 thorpej #include <sys/param.h>
42 1.1 thorpej #include <sys/systm.h>
43 1.1 thorpej #include <sys/proc.h>
44 1.1 thorpej
45 1.1 thorpej #include <machine/db_machdep.h>
46 1.1 thorpej
47 1.1 thorpej #include <ddb/db_sym.h>
48 1.1 thorpej #include <ddb/db_output.h>
49 1.1 thorpej #include <ddb/db_extern.h>
50 1.1 thorpej
51 1.1 thorpej #ifdef DB_ELF_SYMBOLS
52 1.1 thorpej
53 1.1 thorpej #ifndef DB_ELFSIZE
54 1.1 thorpej #error Must define DB_ELFSIZE!
55 1.1 thorpej #endif
56 1.1 thorpej
57 1.1 thorpej #define ELFSIZE DB_ELFSIZE
58 1.1 thorpej
59 1.1 thorpej #include <sys/exec_elf.h>
60 1.1 thorpej
61 1.1 thorpej #define CONCAT(x,y) __CONCAT(x,y)
62 1.1 thorpej #define ELFDEFNAME(x) CONCAT(ELF,CONCAT(ELFSIZE,CONCAT(_,x)))
63 1.1 thorpej
64 1.1 thorpej static char *db_elf_find_strtab __P((db_symtab_t *));
65 1.1 thorpej
66 1.1 thorpej #define STAB_TO_SYMSTART(stab) ((Elf_Sym *)((stab)->start))
67 1.1 thorpej #define STAB_TO_SYMEND(stab) ((Elf_Sym *)((stab)->end))
68 1.1 thorpej #define STAB_TO_EHDR(stab) ((Elf_Ehdr *)((stab)->private))
69 1.1 thorpej #define STAB_TO_SHDR(stab, e) ((Elf_Shdr *)((stab)->private + (e)->e_shoff))
70 1.1 thorpej
71 1.7 thorpej boolean_t db_elf_sym_init __P((int, void *, void *, const char *));
72 1.7 thorpej db_sym_t db_elf_lookup __P((db_symtab_t *, char *));
73 1.7 thorpej db_sym_t db_elf_search_symbol __P((db_symtab_t *, db_addr_t,
74 1.7 thorpej db_strategy_t, db_expr_t *));
75 1.7 thorpej void db_elf_symbol_values __P((db_symtab_t *, db_sym_t,
76 1.7 thorpej char **, db_expr_t *));
77 1.7 thorpej boolean_t db_elf_line_at_pc __P((db_symtab_t *, db_sym_t,
78 1.7 thorpej char **, int *, db_expr_t));
79 1.7 thorpej boolean_t db_elf_sym_numargs __P((db_symtab_t *, db_sym_t, int *,
80 1.7 thorpej char **));
81 1.7 thorpej
82 1.7 thorpej db_symformat_t db_symformat_elf = {
83 1.7 thorpej "ELF",
84 1.7 thorpej db_elf_sym_init,
85 1.7 thorpej db_elf_lookup,
86 1.7 thorpej db_elf_search_symbol,
87 1.7 thorpej db_elf_symbol_values,
88 1.7 thorpej db_elf_line_at_pc,
89 1.7 thorpej db_elf_sym_numargs,
90 1.7 thorpej };
91 1.7 thorpej
92 1.1 thorpej /*
93 1.1 thorpej * Find the symbol table and strings; tell ddb about them.
94 1.1 thorpej */
95 1.7 thorpej boolean_t
96 1.7 thorpej db_elf_sym_init(symsize, symtab, esymtab, name)
97 1.7 thorpej int symsize; /* size of symbol table */
98 1.1 thorpej void *symtab; /* pointer to start of symbol table */
99 1.1 thorpej void *esymtab; /* pointer to end of string table,
100 1.1 thorpej for checking - rounded up to integer
101 1.1 thorpej boundary */
102 1.7 thorpej const char *name;
103 1.1 thorpej {
104 1.1 thorpej Elf_Ehdr *elf;
105 1.1 thorpej Elf_Shdr *shp;
106 1.1 thorpej Elf_Sym *symp, *symtab_start, *symtab_end;
107 1.1 thorpej char *strtab_start, *strtab_end;
108 1.1 thorpej int i;
109 1.1 thorpej
110 1.1 thorpej if (ALIGNED_POINTER(symtab, long) == 0) {
111 1.7 thorpej printf("[ %s symbol table has bad start address %p ]\n",
112 1.7 thorpej name, symtab);
113 1.7 thorpej return (FALSE);
114 1.1 thorpej }
115 1.1 thorpej
116 1.1 thorpej symtab_start = symtab_end = NULL;
117 1.1 thorpej strtab_start = strtab_end = NULL;
118 1.1 thorpej
119 1.1 thorpej /*
120 1.1 thorpej * The format of the symbols loaded by the boot program is:
121 1.1 thorpej *
122 1.1 thorpej * Elf exec header
123 1.1 thorpej * first section header
124 1.1 thorpej * . . .
125 1.1 thorpej * . . .
126 1.1 thorpej * last section header
127 1.1 thorpej * first symbol or string table section
128 1.1 thorpej * . . .
129 1.1 thorpej * . . .
130 1.1 thorpej * last symbol or string table section
131 1.1 thorpej */
132 1.1 thorpej
133 1.1 thorpej /*
134 1.1 thorpej * Validate the Elf header.
135 1.1 thorpej */
136 1.1 thorpej elf = (Elf_Ehdr *)symtab;
137 1.5 perry if (memcmp(elf->e_ident, Elf_e_ident, Elf_e_siz) != 0)
138 1.1 thorpej goto badheader;
139 1.1 thorpej
140 1.1 thorpej switch (elf->e_machine) {
141 1.1 thorpej
142 1.1 thorpej ELFDEFNAME(MACHDEP_ID_CASES)
143 1.1 thorpej
144 1.1 thorpej default:
145 1.1 thorpej goto badheader;
146 1.1 thorpej }
147 1.1 thorpej
148 1.1 thorpej /*
149 1.1 thorpej * We need to avoid the section header string table (small string
150 1.1 thorpej * table which names the sections). We do this by assuming that
151 1.1 thorpej * the following two conditions will be true:
152 1.1 thorpej *
153 1.1 thorpej * (1) .shstrtab will be smaller than one page.
154 1.1 thorpej * (2) .strtab will be larger than one page.
155 1.1 thorpej *
156 1.1 thorpej * When we encounter what we think is the .shstrtab, we change
157 1.1 thorpej * its section type Elf_sht_null so that it will be ignored
158 1.1 thorpej * later.
159 1.1 thorpej */
160 1.1 thorpej shp = (Elf_Shdr *)(symtab + elf->e_shoff);
161 1.1 thorpej for (i = 0; i < elf->e_shnum; i++) {
162 1.1 thorpej switch (shp[i].sh_type) {
163 1.1 thorpej case Elf_sht_strtab:
164 1.1 thorpej if (shp[i].sh_size < NBPG) {
165 1.1 thorpej shp[i].sh_type = Elf_sht_null;
166 1.1 thorpej continue;
167 1.1 thorpej }
168 1.1 thorpej if (strtab_start != NULL)
169 1.1 thorpej goto multiple_strtab;
170 1.1 thorpej strtab_start = (char *)(symtab + shp[i].sh_offset);
171 1.1 thorpej strtab_end = (char *)(symtab + shp[i].sh_offset +
172 1.1 thorpej shp[i].sh_size);
173 1.1 thorpej break;
174 1.1 thorpej
175 1.1 thorpej case Elf_sht_symtab:
176 1.1 thorpej if (symtab_start != NULL)
177 1.1 thorpej goto multiple_symtab;
178 1.1 thorpej symtab_start = (Elf_Sym *)(symtab + shp[i].sh_offset);
179 1.1 thorpej symtab_end = (Elf_Sym *)(symtab + shp[i].sh_offset +
180 1.1 thorpej shp[i].sh_size);
181 1.1 thorpej break;
182 1.1 thorpej
183 1.1 thorpej default:
184 1.1 thorpej /* Ignore all other sections. */
185 1.1 thorpej break;
186 1.1 thorpej }
187 1.1 thorpej }
188 1.1 thorpej
189 1.1 thorpej /*
190 1.1 thorpej * Now, sanity check the symbols against the string table.
191 1.1 thorpej */
192 1.2 thorpej if (symtab_start == NULL || strtab_start == NULL ||
193 1.2 thorpej ALIGNED_POINTER(symtab_start, long) == 0 ||
194 1.2 thorpej ALIGNED_POINTER(strtab_start, long) == 0)
195 1.1 thorpej goto badheader;
196 1.1 thorpej for (symp = symtab_start; symp < symtab_end; symp++)
197 1.1 thorpej if (symp->st_name + strtab_start > strtab_end)
198 1.1 thorpej goto badheader;
199 1.1 thorpej
200 1.1 thorpej /*
201 1.1 thorpej * Link the symbol table into the debugger.
202 1.1 thorpej */
203 1.1 thorpej if (db_add_symbol_table((char *)symtab_start,
204 1.7 thorpej (char *)symtab_end, name, (char *)symtab) != -1) {
205 1.7 thorpej printf("[ preserving %lu bytes of %s ELF symbol table ]\n",
206 1.4 thorpej (u_long)roundup((esymtab - symtab), sizeof(u_long)), name);
207 1.7 thorpej return (TRUE);
208 1.7 thorpej }
209 1.7 thorpej
210 1.7 thorpej return (FALSE);
211 1.1 thorpej
212 1.1 thorpej badheader:
213 1.7 thorpej printf("[ %s ELF symbol table not valid ]\n", name);
214 1.7 thorpej return (FALSE);
215 1.1 thorpej
216 1.1 thorpej multiple_strtab:
217 1.7 thorpej printf("[ %s has multiple ELF string tables ]\n", name);
218 1.7 thorpej return (FALSE);
219 1.1 thorpej
220 1.1 thorpej multiple_symtab:
221 1.7 thorpej printf("[ %s has multiple ELF symbol tables ]\n", name);
222 1.7 thorpej return (FALSE);
223 1.1 thorpej }
224 1.1 thorpej
225 1.1 thorpej /*
226 1.1 thorpej * Internal helper function - return a pointer to the string table
227 1.1 thorpej * for the current symbol table.
228 1.1 thorpej */
229 1.1 thorpej static char *
230 1.1 thorpej db_elf_find_strtab(stab)
231 1.1 thorpej db_symtab_t *stab;
232 1.1 thorpej {
233 1.1 thorpej Elf_Ehdr *elf = STAB_TO_EHDR(stab);
234 1.1 thorpej Elf_Shdr *shp = STAB_TO_SHDR(stab, elf);
235 1.1 thorpej int i;
236 1.1 thorpej
237 1.1 thorpej for (i = 0; i < elf->e_shnum; i++) {
238 1.1 thorpej if (shp[i].sh_type == Elf_sht_strtab)
239 1.1 thorpej return (stab->private + shp[i].sh_offset);
240 1.1 thorpej }
241 1.1 thorpej
242 1.1 thorpej return (NULL);
243 1.1 thorpej }
244 1.1 thorpej
245 1.1 thorpej /*
246 1.1 thorpej * Lookup the symbol with the given name.
247 1.1 thorpej */
248 1.1 thorpej db_sym_t
249 1.7 thorpej db_elf_lookup(stab, symstr)
250 1.1 thorpej db_symtab_t *stab;
251 1.1 thorpej char *symstr;
252 1.1 thorpej {
253 1.1 thorpej Elf_Sym *symp, *symtab_start, *symtab_end;
254 1.1 thorpej char *strtab;
255 1.1 thorpej
256 1.1 thorpej symtab_start = STAB_TO_SYMSTART(stab);
257 1.1 thorpej symtab_end = STAB_TO_SYMEND(stab);
258 1.1 thorpej
259 1.1 thorpej strtab = db_elf_find_strtab(stab);
260 1.1 thorpej if (strtab == NULL)
261 1.1 thorpej return ((db_sym_t)0);
262 1.1 thorpej
263 1.1 thorpej for (symp = symtab_start; symp < symtab_end; symp++) {
264 1.1 thorpej if (symp->st_name != 0 &&
265 1.1 thorpej db_eqname(strtab + symp->st_name, symstr, 0))
266 1.1 thorpej return ((db_sym_t)symp);
267 1.1 thorpej }
268 1.1 thorpej
269 1.1 thorpej return ((db_sym_t)0);
270 1.1 thorpej }
271 1.1 thorpej
272 1.1 thorpej /*
273 1.1 thorpej * Search for the symbol with the given address (matching within the
274 1.1 thorpej * provided threshold).
275 1.1 thorpej */
276 1.1 thorpej db_sym_t
277 1.7 thorpej db_elf_search_symbol(symtab, off, strategy, diffp)
278 1.1 thorpej db_symtab_t *symtab;
279 1.1 thorpej db_addr_t off;
280 1.1 thorpej db_strategy_t strategy;
281 1.1 thorpej db_expr_t *diffp; /* in/out */
282 1.1 thorpej {
283 1.1 thorpej Elf_Sym *rsymp, *symp, *symtab_start, *symtab_end;
284 1.1 thorpej db_expr_t diff = *diffp;
285 1.1 thorpej
286 1.1 thorpej symtab_start = STAB_TO_SYMSTART(symtab);
287 1.1 thorpej symtab_end = STAB_TO_SYMEND(symtab);
288 1.1 thorpej
289 1.1 thorpej rsymp = NULL;
290 1.1 thorpej
291 1.1 thorpej for (symp = symtab_start; symp < symtab_end; symp++) {
292 1.1 thorpej if (symp->st_name == 0)
293 1.1 thorpej continue;
294 1.6 eeh #if 0
295 1.6 eeh /* This prevents me from seeing anythin in locore.s -- eeh */
296 1.1 thorpej if (ELF_SYM_TYPE(symp->st_info) != Elf_estt_object &&
297 1.1 thorpej ELF_SYM_TYPE(symp->st_info) != Elf_estt_func)
298 1.1 thorpej continue;
299 1.6 eeh #endif
300 1.1 thorpej
301 1.1 thorpej if (off >= symp->st_value) {
302 1.1 thorpej if ((off - symp->st_value) < diff) {
303 1.1 thorpej diff = off - symp->st_value;
304 1.1 thorpej rsymp = symp;
305 1.1 thorpej if (diff == 0) {
306 1.1 thorpej if (strategy == DB_STGY_PROC &&
307 1.1 thorpej ELF_SYM_TYPE(symp->st_info) ==
308 1.1 thorpej Elf_estt_func &&
309 1.1 thorpej ELF_SYM_BIND(symp->st_info) !=
310 1.1 thorpej Elf_estb_local)
311 1.1 thorpej break;
312 1.1 thorpej if (strategy == DB_STGY_ANY &&
313 1.1 thorpej ELF_SYM_BIND(symp->st_info) !=
314 1.1 thorpej Elf_estb_local)
315 1.1 thorpej break;
316 1.1 thorpej }
317 1.1 thorpej } else if ((off - symp->st_value) == diff) {
318 1.1 thorpej if (rsymp == NULL)
319 1.1 thorpej rsymp = symp;
320 1.1 thorpej else if (ELF_SYM_BIND(rsymp->st_info) ==
321 1.1 thorpej Elf_estb_local &&
322 1.1 thorpej ELF_SYM_BIND(symp->st_info) !=
323 1.1 thorpej Elf_estb_local) {
324 1.1 thorpej /* pick the external symbol */
325 1.1 thorpej rsymp = symp;
326 1.1 thorpej }
327 1.1 thorpej }
328 1.1 thorpej }
329 1.1 thorpej }
330 1.1 thorpej
331 1.1 thorpej if (rsymp == NULL)
332 1.1 thorpej *diffp = off;
333 1.1 thorpej else
334 1.1 thorpej *diffp = diff;
335 1.1 thorpej
336 1.1 thorpej return ((db_sym_t)rsymp);
337 1.1 thorpej }
338 1.1 thorpej
339 1.1 thorpej /*
340 1.1 thorpej * Return the name and value for a symbol.
341 1.1 thorpej */
342 1.1 thorpej void
343 1.7 thorpej db_elf_symbol_values(symtab, sym, namep, valuep)
344 1.1 thorpej db_symtab_t *symtab;
345 1.1 thorpej db_sym_t sym;
346 1.1 thorpej char **namep;
347 1.1 thorpej db_expr_t *valuep;
348 1.1 thorpej {
349 1.1 thorpej Elf_Sym *symp = (Elf_Sym *)sym;
350 1.1 thorpej char *strtab;
351 1.1 thorpej
352 1.1 thorpej if (namep) {
353 1.1 thorpej strtab = db_elf_find_strtab(symtab);
354 1.1 thorpej if (strtab == NULL)
355 1.1 thorpej *namep = NULL;
356 1.1 thorpej else
357 1.1 thorpej *namep = strtab + symp->st_name;
358 1.1 thorpej }
359 1.1 thorpej
360 1.1 thorpej if (valuep)
361 1.1 thorpej *valuep = symp->st_value;
362 1.1 thorpej }
363 1.1 thorpej
364 1.1 thorpej /*
365 1.1 thorpej * Return the file and line number of the current program counter
366 1.1 thorpej * if we can find the appropriate debugging symbol.
367 1.1 thorpej */
368 1.1 thorpej boolean_t
369 1.7 thorpej db_elf_line_at_pc(symtab, cursym, filename, linenum, off)
370 1.1 thorpej db_symtab_t *symtab;
371 1.1 thorpej db_sym_t cursym;
372 1.1 thorpej char **filename;
373 1.1 thorpej int *linenum;
374 1.1 thorpej db_expr_t off;
375 1.1 thorpej {
376 1.1 thorpej
377 1.1 thorpej /*
378 1.1 thorpej * XXX We don't support this (yet).
379 1.1 thorpej */
380 1.1 thorpej return (FALSE);
381 1.1 thorpej }
382 1.1 thorpej
383 1.1 thorpej /*
384 1.1 thorpej * Returns the number of arguments to a function and their
385 1.1 thorpej * names if we can find the appropriate debugging symbol.
386 1.1 thorpej */
387 1.1 thorpej boolean_t
388 1.7 thorpej db_elf_sym_numargs(symtab, cursym, nargp, argnamep)
389 1.1 thorpej db_symtab_t *symtab;
390 1.1 thorpej db_sym_t cursym;
391 1.1 thorpej int *nargp;
392 1.1 thorpej char **argnamep;
393 1.1 thorpej {
394 1.1 thorpej
395 1.1 thorpej /*
396 1.1 thorpej * XXX We don't support this (yet).
397 1.1 thorpej */
398 1.1 thorpej return (FALSE);
399 1.1 thorpej }
400 1.1 thorpej #endif /* DB_ELF_SYMBOLS */
401