UndoDB and Mozilla RR
reversible debugging - looking nice!
https://www.youtube.com/watch?v=l5CHu2DvDjo