Tips for Productive Debugging with GDB
metricpanda.com