In this paper, we develop efficient reversible debugging … Storage reuse is achieved by implementing a wraparound … indicate that … when all user-defined routines are reversible, the execution … [p. 718] The reset_buffer() routine will be invoked … [irreversible routines and system calls] can not be undone.
Google-1
Google-2
Copyright clearance needed for quotation.