Tool support for debugging in GDB