Reverse Debugging

Collection of notes and papers on reverse/bidirectional debugging. Please contact me if you use this repo for ANY purpose.

Introduction

Why?

• to find execution path
• to track changes of desired variable
• no guessing to put breakpoints

How?

What?

Materials

Reviews

Perscheid, M., Siegmund, B., Taeumel, M., & Hirschfeld, R. (2017). Studying the advancement in debugging practice of professional software developers. Software Quality Journal, 25(1), 83–110.

Engblom, J., & Engblom, J. (2015). Review of Reverse Debugging, (January 2012).

Record-replay

• record parogram exectuion metadata
• Techniques
  • checkpoint
  • timestamps

Reverse/Bidirectional debugging

• Online (Real-time)

Boothe, B. (2000). Efficient Algorithms for Bidirectional Debugging[C]. Pldi, (1), 299–310.

• Offine (most)

Lewis, B. (2003). Debugging Backwards in Time[C]. Aadebug, (September), 225–235.

References

zhihu question 中文

Problems

Non-deterministic path

• parallel
• single-thread

Back to forward execution

Space and Time