Proceedings of ISP RAS

Deterministic program rerun within a virtual machine.

Pavel Dovgalyuk.


The paper describes a technology that allows to capture and rerun scripts of program execution within a virtual machine. This technology enables to debug programs deterministically and may be use in future for implementation of different mechanisms of dynamic program analysis and reverse debugging.


virtual machine, debugging


Proceedings of the Institute for System Programming, vol. 21, 2011, pp. 123-132.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume