(gdb) call ((void(*)(char*))0x401456)(0x6020a0+8) Or simply:
Using gdb with the core file:
Use gdb to inspect heap: