gdb

To get the core dump, we need to set the limit of core dump size, which is defultly set to be 0; The command is

limit coredump unlimit

Once you have the core, you can debug it by

gdb -c core executable