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