Я попробовал - и правда работает. Это собственно и есть надстройка над GDB - оно в каком-то виде пишет трассу и потом скармливает ее gdb, который умеет по этой трассе бегать без фактического исполнения