The Glibc heap cores miner for GDB