we have conditional breakpoints. We do, unfortunately, always have to simulate the program in the forward direction from the beginning though, yes.

Actually, there are a few debuggers that can step backwards, but its not mainstream and the memory overhead is apparently enormous.