gdb itself can be used to extract the AT_EXECFN from a core file using the info command. For example:

$ gdb -batch -core example.corefile -q -ex 'info auxv' 2>/dev/null | sed -n 's/.*AT_EXECFN[^"]*"\(.*\)"/\1/p'

/usr/bin/example