Control Flow Visualizer (CFViz): an rr / gdb plugin
botondballo.wordpress.com
botondballo.wordpress.com
I'm not sure this is correct. If you have a new enough version of GDB, I think you can reverse-step and reverse-next.
On the other hand, you are technically correct.