Debugging Core Files Using HP WDB (5900-1573; WDB 6.2; January 2011)

#2 0xc01d00dc in abort_C () from /usr/lib/libc.2
#3 0xc01d0134 in abort () from /usr/lib/libc.2
#4 0x2498 in b () from /home/shane/test/./a1
#5 0x2430 in main () from /home/shane/test/./a1
(gdb) symbol a3
Reading symbols from a3...(no debugging symbols found)...done.
(gdb) bt
#0 0xc01f2740 in kill () from /usr/lib/libc.2
#1 0xc018fc94 in raise () from /usr/lib/libc.2
#2 0xc01d00dc in abort_C () from /usr/lib/libc.2
#3 0xc01d0134 in abort () from /usr/lib/libc.2
#4 0x2498 in a () from /home/shane/test/./a1
#5 0xc018fc94 in raise () from /usr/lib/libc.2
If the program is built with debug support, you can use the symbol information from this
program to debug the stripped version of the program.
Examples Illustrating Core File Debugging 53