A GDB toolbox for low-level debugging