Описывается разработанный авторами метод обратной отладки, использующий детерминированное воспроизведение программ в виртуальной машине. Этот метод позволяет значительно ускорить нахождение ошибок в программах для архитектур x86 и ARM. Метод был реализован в многоплатформенном симуляторе QEMU.
обратная отладка, виртуальная машина, детерминированное воспроизведение, динамический анализ программ