db_sym.c revision 1.17 1 /* $NetBSD: db_sym.c,v 1.17 1999/04/12 20:38:21 pk Exp $ */
2
3 /*
4 * Mach Operating System
5 * Copyright (c) 1991,1990 Carnegie Mellon University
6 * All Rights Reserved.
7 *
8 * Permission to use, copy, modify and distribute this software and its
9 * documentation is hereby granted, provided that both the copyright
10 * notice and this permission notice appear in all copies of the
11 * software, derivative works or modified versions, and any portions
12 * thereof, and that both notices appear in supporting documentation.
13 *
14 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
15 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
16 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
17 *
18 * Carnegie Mellon requests users of this software to return to
19 *
20 * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU
21 * School of Computer Science
22 * Carnegie Mellon University
23 * Pittsburgh PA 15213-3890
24 *
25 * any improvements or extensions that they make and grant Carnegie the
26 * rights to redistribute these changes.
27 */
28
29 #include <sys/param.h>
30 #include <sys/proc.h>
31 #include <sys/systm.h>
32
33 #include <machine/db_machdep.h>
34
35 #include <ddb/db_sym.h>
36 #include <ddb/db_output.h>
37 #include <ddb/db_extern.h>
38 #include <ddb/db_command.h>
39
40 /*
41 * Multiple symbol tables
42 */
43 #ifndef MAXLKMS
44 #define MAXLKMS 20
45 #endif
46
47 #ifndef MAXNOSYMTABS
48 #define MAXNOSYMTABS MAXLKMS+1 /* Room for kernel + LKM's */
49 #endif
50
51 db_symtab_t db_symtabs[MAXNOSYMTABS] = {{0,},};
52
53 db_symtab_t *db_last_symtab;
54
55 static char *db_qualify __P((db_sym_t, const char *));
56
57 /*
58 * Put the most picky symbol table formats at the top!
59 */
60 const db_symformat_t *db_symformats[] = {
61 #ifdef DB_ELF_SYMBOLS
62 &db_symformat_elf,
63 #endif
64 #ifdef DB_AOUT_SYMBOLS
65 &db_symformat_aout,
66 #endif
67 NULL,
68 };
69
70 const db_symformat_t *db_symformat;
71
72 boolean_t X_db_sym_init __P((int, void *, void *, const char *));
73 db_sym_t X_db_lookup __P((db_symtab_t *, char *));
74 db_sym_t X_db_search_symbol __P((db_symtab_t *, db_addr_t,
75 db_strategy_t, db_expr_t *));
76 void X_db_symbol_values __P((db_symtab_t *, db_sym_t, char **,
77 db_expr_t *));
78 boolean_t X_db_line_at_pc __P((db_symtab_t *, db_sym_t, char **,
79 int *, db_expr_t));
80 int X_db_sym_numargs __P((db_symtab_t *, db_sym_t, int *,
81 char **));
82
83 /*
84 * Initialize the kernel debugger by initializing the master symbol
85 * table. Note that if initializing the master symbol table fails,
86 * no other symbol tables can be loaded.
87 */
88 void
89 ddb_init(symsize, vss, vse)
90 int symsize;
91 void *vss, *vse;
92 {
93 const db_symformat_t **symf;
94 const char *name = "netbsd";
95
96 if (symsize <= 0) {
97 printf(" [ no symbols available ]\n");
98 return;
99 }
100
101 /*
102 * Do this check now for the master symbol table to avoid printing
103 * the message N times.
104 */
105 if (ALIGNED_POINTER(vss, long) == 0) {
106 printf("[ %s symbol table nas bad start address %p ]\n",
107 name, vss);
108 return;
109 }
110
111 for (symf = db_symformats; *symf != NULL; symf++) {
112 db_symformat = *symf;
113 if (X_db_sym_init(symsize, vss, vse, name) == TRUE)
114 return;
115 }
116
117 db_symformat = NULL;
118 printf("[ no symbol table formats found ]\n");
119 }
120
121 /*
122 * Add symbol table, with given name, to list of symbol tables.
123 */
124 int
125 db_add_symbol_table(start, end, name, ref)
126 char *start;
127 char *end;
128 const char *name;
129 char *ref;
130 {
131 int slot;
132
133 for (slot = 0; slot < MAXNOSYMTABS; slot++) {
134 if (db_symtabs[slot].name == NULL)
135 break;
136 }
137 if (slot >= MAXNOSYMTABS) {
138 db_printf("No slots left for %s symbol table", name);
139 return(-1);
140 }
141
142 db_symtabs[slot].start = start;
143 db_symtabs[slot].end = end;
144 db_symtabs[slot].name = name;
145 db_symtabs[slot].private = ref;
146
147 return(slot);
148 }
149
150 /*
151 * Delete a symbol table. Caller is responsible for freeing storage.
152 */
153 void
154 db_del_symbol_table(name)
155 char *name;
156 {
157 int slot;
158
159 for (slot = 0; slot < MAXNOSYMTABS; slot++) {
160 if (db_symtabs[slot].name &&
161 ! strcmp(db_symtabs[slot].name, name))
162 break;
163 }
164 if (slot >= MAXNOSYMTABS) {
165 db_printf("Unable to find symbol table slot for %s.", name);
166 return;
167 }
168
169 db_symtabs[slot].start = 0;
170 db_symtabs[slot].end = 0;
171 db_symtabs[slot].name = 0;
172 db_symtabs[slot].private = 0;
173 }
174
175 /*
176 * db_qualify("vm_map", "netbsd") returns "netbsd:vm_map".
177 *
178 * Note: return value points to static data whose content is
179 * overwritten by each call... but in practice this seems okay.
180 */
181 static char *
182 db_qualify(sym, symtabname)
183 db_sym_t sym;
184 const char *symtabname;
185 {
186 char *symname;
187 static char tmp[256];
188 register char *s;
189
190 db_symbol_values(sym, &symname, 0);
191 s = tmp;
192 while ((*s++ = *symtabname++) != '\0')
193 ;
194 s[-1] = ':';
195 while ((*s++ = *symname++) != '\0')
196 ;
197 return tmp;
198 }
199
200
201 boolean_t
202 db_eqname(src, dst, c)
203 char *src;
204 char *dst;
205 int c;
206 {
207 if (!strcmp(src, dst))
208 return (TRUE);
209 if (src[0] == c)
210 return (!strcmp(src+1,dst));
211 return (FALSE);
212 }
213
214 boolean_t
215 db_value_of_name(name, valuep)
216 char *name;
217 db_expr_t *valuep;
218 {
219 db_sym_t sym;
220
221 sym = db_lookup(name);
222 if (sym == DB_SYM_NULL)
223 return (FALSE);
224 db_symbol_values(sym, &name, valuep);
225 return (TRUE);
226 }
227
228
229 /*
230 * Lookup a symbol.
231 * If the symbol has a qualifier (e.g., ux:vm_map),
232 * then only the specified symbol table will be searched;
233 * otherwise, all symbol tables will be searched.
234 */
235 db_sym_t
236 db_lookup(symstr)
237 char *symstr;
238 {
239 db_sym_t sp;
240 register int i;
241 int symtab_start = 0;
242 int symtab_end = MAXNOSYMTABS;
243 register char *cp;
244
245 /*
246 * Look for, remove, and remember any symbol table specifier.
247 */
248 for (cp = symstr; *cp; cp++) {
249 if (*cp == ':') {
250 *cp = '\0';
251 for (i = 0; i < MAXNOSYMTABS; i++) {
252 if (db_symtabs[i].name &&
253 ! strcmp(symstr, db_symtabs[i].name)) {
254 symtab_start = i;
255 symtab_end = i + 1;
256 break;
257 }
258 }
259 *cp = ':';
260 if (i == MAXNOSYMTABS) {
261 db_error("invalid symbol table name");
262 /*NOTREACHED*/
263 }
264 symstr = cp+1;
265 }
266 }
267
268 /*
269 * Look in the specified set of symbol tables.
270 * Return on first match.
271 */
272 for (i = symtab_start; i < symtab_end; i++) {
273 if (db_symtabs[i].name &&
274 (sp = X_db_lookup(&db_symtabs[i], symstr))) {
275 db_last_symtab = &db_symtabs[i];
276 return sp;
277 }
278 }
279 return 0;
280 }
281
282 /*
283 * Does this symbol name appear in more than one symbol table?
284 * Used by db_symbol_values to decide whether to qualify a symbol.
285 */
286 boolean_t db_qualify_ambiguous_names = FALSE;
287
288 boolean_t
289 db_symbol_is_ambiguous(sym)
290 db_sym_t sym;
291 {
292 char *sym_name;
293 register int i;
294 register
295 boolean_t found_once = FALSE;
296
297 if (!db_qualify_ambiguous_names)
298 return FALSE;
299
300 db_symbol_values(sym, &sym_name, 0);
301 for (i = 0; i < MAXNOSYMTABS; i++) {
302 if (db_symtabs[i].name &&
303 X_db_lookup(&db_symtabs[i], sym_name)) {
304 if (found_once)
305 return TRUE;
306 found_once = TRUE;
307 }
308 }
309 return FALSE;
310 }
311
312 /*
313 * Find the closest symbol to val, and return its name
314 * and the difference between val and the symbol found.
315 */
316 db_sym_t
317 db_search_symbol( val, strategy, offp)
318 register db_addr_t val;
319 db_strategy_t strategy;
320 db_expr_t *offp;
321 {
322 register
323 unsigned int diff;
324 db_expr_t newdiff;
325 register int i;
326 db_sym_t ret = DB_SYM_NULL, sym;
327
328 newdiff = diff = ~0;
329 db_last_symtab = 0;
330 for (i = 0; i < MAXNOSYMTABS; i++) {
331 if (!db_symtabs[i].name)
332 continue;
333 sym = X_db_search_symbol(&db_symtabs[i], val, strategy, &newdiff);
334 if (newdiff < diff) {
335 db_last_symtab = &db_symtabs[i];
336 diff = newdiff;
337 ret = sym;
338 }
339 }
340 *offp = diff;
341 return ret;
342 }
343
344 /*
345 * Return name and value of a symbol
346 */
347 void
348 db_symbol_values(sym, namep, valuep)
349 db_sym_t sym;
350 char **namep;
351 db_expr_t *valuep;
352 {
353 db_expr_t value;
354
355 if (sym == DB_SYM_NULL) {
356 *namep = 0;
357 return;
358 }
359
360 X_db_symbol_values(db_last_symtab, sym, namep, &value);
361
362 if (db_symbol_is_ambiguous(sym))
363 *namep = db_qualify(sym, db_last_symtab->name);
364 if (valuep)
365 *valuep = value;
366 }
367
368
369 /*
370 * Print a the closest symbol to value
371 *
372 * After matching the symbol according to the given strategy
373 * we print it in the name+offset format, provided the symbol's
374 * value is close enough (eg smaller than db_maxoff).
375 * We also attempt to print [filename:linenum] when applicable
376 * (eg for procedure names).
377 *
378 * If we could not find a reasonable name+offset representation,
379 * then we just print the value in hex. Small values might get
380 * bogus symbol associations, e.g. 3 might get some absolute
381 * value like _INCLUDE_VERSION or something, therefore we do
382 * not accept symbols whose value is zero (and use plain hex).
383 * Also, avoid printing as "end+0x????" which is useless.
384 * The variable db_lastsym is used instead of "end" in case we
385 * add support for symbols in loadable driver modules.
386 */
387 extern char end[];
388 unsigned long db_lastsym = (unsigned long)end;
389 unsigned int db_maxoff = 0x10000000;
390
391
392 void
393 db_printsym(off, strategy)
394 db_expr_t off;
395 db_strategy_t strategy;
396 {
397 db_expr_t d;
398 char *filename;
399 char *name;
400 db_expr_t value;
401 int linenum;
402 db_sym_t cursym;
403
404 if (off <= db_lastsym) {
405 cursym = db_search_symbol(off, strategy, &d);
406 db_symbol_values(cursym, &name, &value);
407 if (name && (d < db_maxoff) && value) {
408 db_printf("%s", name);
409 if (d)
410 db_printf("+%#lr", d);
411 if (strategy == DB_STGY_PROC) {
412 if (db_line_at_pc(cursym, &filename, &linenum, off))
413 db_printf(" [%s:%d]", filename, linenum);
414 }
415 return;
416 }
417 }
418 db_printf("%#ln", off);
419 return;
420 }
421
422
423 boolean_t
424 db_line_at_pc( sym, filename, linenum, pc)
425 db_sym_t sym;
426 char **filename;
427 int *linenum;
428 db_expr_t pc;
429 {
430 return X_db_line_at_pc( db_last_symtab, sym, filename, linenum, pc);
431 }
432
433 int
434 db_sym_numargs(sym, nargp, argnames)
435 db_sym_t sym;
436 int *nargp;
437 char **argnames;
438 {
439 return X_db_sym_numargs(db_last_symtab, sym, nargp, argnames);
440 }
441
442 boolean_t
443 X_db_sym_init(symsize, vss, vse, name)
444 int symsize;
445 void *vss, *vse;
446 const char *name;
447 {
448
449 if (db_symformat != NULL)
450 return ((*db_symformat->sym_init)(symsize, vss, vse, name));
451 return (FALSE);
452 }
453
454 db_sym_t
455 X_db_lookup(stab, symstr)
456 db_symtab_t *stab;
457 char *symstr;
458 {
459
460 if (db_symformat != NULL)
461 return ((*db_symformat->sym_lookup)(stab, symstr));
462 return ((db_sym_t)0);
463 }
464
465 db_sym_t
466 X_db_search_symbol(stab, off, strategy, diffp)
467 db_symtab_t *stab;
468 db_addr_t off;
469 db_strategy_t strategy;
470 db_expr_t *diffp;
471 {
472
473 if (db_symformat != NULL)
474 return ((*db_symformat->sym_search)(stab, off, strategy,
475 diffp));
476 return ((db_sym_t)0);
477 }
478
479 void
480 X_db_symbol_values(stab, sym, namep, valuep)
481 db_symtab_t *stab;
482 db_sym_t sym;
483 char **namep;
484 db_expr_t *valuep;
485 {
486
487 if (db_symformat != NULL)
488 (*db_symformat->sym_value)(stab, sym, namep, valuep);
489 }
490
491 boolean_t
492 X_db_line_at_pc(stab, cursym, filename, linenum, off)
493 db_symtab_t *stab;
494 db_sym_t cursym;
495 char **filename;
496 int *linenum;
497 db_expr_t off;
498 {
499
500 if (db_symformat != NULL)
501 return ((*db_symformat->sym_line_at_pc)(stab, cursym,
502 filename, linenum, off));
503 return (FALSE);
504 }
505
506 boolean_t
507 X_db_sym_numargs(stab, cursym, nargp, argnamep)
508 db_symtab_t *stab;
509 db_sym_t cursym;
510 int *nargp;
511 char **argnamep;
512 {
513
514 if (db_symformat != NULL)
515 return ((*db_symformat->sym_numargs)(stab, cursym, nargp,
516 argnamep));
517 return (FALSE);
518 }
519