Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging