Deterministic replay specifics in case of minimal device set

The deterministic replay technique can be used for debugging, improving reliability and robustness, software development and incident investigation (including reverse engineering of malware). The paper describes the implementation of deterministic replay of IA-32 based boards in QEMU. Another implem...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Authors:	V. Y. Efimov, K. A. Batuzov, V. A. Padaryan
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	виртуальная машина детерминированное воспроизведение эмулятор qemu
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1091

Similar Items

Two approaches to full-system deterministic replay in QEMU
by: K. Batuzov, et al.
Published: (2018-10-01)

Using Deterministic Replay for Software Fault Injection
by: P. M. Dovgalyuk, et al.
Published: (2018-10-01)

Application of software emulators for the binary code analysis
by: P. M. Dovgalyuk, et al.
Published: (2018-10-01)

Methods to improve reverse debugging performance
by: M. A. Klimushenkova, et al.
Published: (2018-10-01)

Dynamic analysis of virtualization- and dispatching-obfuscated applications
by: M. G. Bakulin, et al.
Published: (2018-10-01)

Автоматизация разработки моделей устройств и вычислительных машин для QEMU
by: V. Yu. Efimov, et al.
Published: (2018-10-01)

On the verification of strictly deterministic behavior of Timed Finite State Machines
by: E. M. Vinarskii, et al.
Published: (2018-10-01)

Local Register Allocation Problem in Dynamic Binary Translation
by: Kirill Batuzov
Published: (2018-10-01)

Virtual machines and models in training to use of modern hardware-software computer's complexes
by: V V Grinshkun, et al.
Published: (2010-06-01)

Global register allocation during dynamic binary translation
by: K. A. Batuzov
Published: (2018-10-01)

Optimizations in Dynamic Binary Translation
by: Kirill Batuzov, et al.
Published: (2018-10-01)

On Some Limitations of Information Flow Tracking in Full-system Emulators
by: M. A. Klimushenkova, et al.
Published: (2018-10-01)

Description of hardware configurations of guest systems in QEMU emulator as separate text files
by: O. V. Goremykin
Published: (2018-10-01)

Evaluation of probabilistic-temporal characteristics of a computer system with container virtualization
by: В. К. Phung, et al.
Published: (2024-12-01)

ВИКЛАДАННЯ АНАТОМІЇ ЯК МИСТЕЦТВО ЯКІСНОГО ЗАПАМ'ЯТОВУВАННЯ, КЛІНІЧНОГО ВІДТВОРЕННЯ І ПРАКТИЧНОГО ЗАСТОСУВАННЯ
by: Наталія НАВАРЧУК, et al.
Published: (2017-11-01)

Usage of Verb Forms under Agrammatic Aphasia (the example of Uzbek language)
by: I A Azimova
Published: (2016-12-01)

MODELING PERFORMANCE ROBUST CONTROL UNDER NONSTATIONARY DETERMINED PERTURBATION
by: N. T. Ahmed
Published: (2019-06-01)

USB HW/SW Co-Simulation Environment with Custom Test Tool Integration
by: Grigor Y. Zargaryan, et al.
Published: (2014-06-01)

FREE RECALL: HAVE WE BEEN LOOKING AT THE WRONG CURVE?
by: Eugen Tarnow
Published: (2015-12-01)

Аhead of time optimization for JavaScript programs
by: Roman Zhuykov, et al.
Published: (2018-10-01)

Tracing ext3 file system operations in the QEMU emulator
by: V. M. Stepanov, et al.
Published: (2018-12-01)

Stealth debugging of programs in Qemu emulator with WinDbg debugger
by: M. A. Abakumov, et al.
Published: (2018-10-01)

Q8S: Emulation of Heterogeneous Kubernetes Clusters Using QEMU
by: Jonathan Decker, et al.
Published: (2025-05-01)

A Survey of QEMU-Based Fault Injection Tools & Techniques for Emulating Physical Faults
by: Yohannes B. Bekele, et al.
Published: (2023-01-01)

Hardware-software co-simulation for medical X-ray control units
by: Bruno Kleinert, et al.
Published: (2016-11-01)

TENDENCIES AND FORMS ОF SOCIAL TRANSFORMATIONS
by: T.A. BONDARENKO
Published: (2018-10-01)

Stability optimization of dynamic migration algorithm for Post-Copy of virtual machine based on KVM
by: Shuangxi CHEN, et al.
Published: (2021-07-01)

Stability optimization of dynamic migration algorithm for Post-Copy of virtual machine based on KVM
by: Shuangxi CHEN, et al.
Published: (2021-07-01)

Виртуальная география виртуального населения
by: Nadezhda Yu. ZAMYATINA, et al.
Published: (2018-03-01)

Developing scalable software infrastructure for data storage and processing for computational biology problems
by: O. Borisenko, et al.
Published: (2018-10-01)

Configurable system call tracer in QEMU emulator
by: A. V. Ivanov, et al.
Published: (2018-10-01)

Fuzzy set machine application for the solution of the problem of the direction identification
by: A. S. Bely, et al.
Published: (2019-06-01)

РОЗПОДІЛ РЕСУРСІВ ДЛЯ ПРИСТРОЇВ МАЛОЇ ПОТУЖНОСТІ ТЕХНОЛОГІЇ M2M У МЕРЕЖАХ 5G
by: Andrew V. Bulashenko
Published: (2020-08-01)

ТЕХНОЛОГИИ ВИРТУАЛЬНОЙ РЕАЛЬНОСТИ В СИСТЕМЕ ПОДГОТОВКИ БОКСЕРОВ
by: Омельянович Вадим Васильевич, et al.
Published: (2023-11-01)

Application of hydraulic device as working bodies of the road-building machines
by: I. A. Semenova
Published: (2017-08-01)

Использование терапии на основе виртуальной реальности у пациентов после травматологических хирургических вмешательств: проспективное клиническое исследование
by: Grigory E. Lysenko, et al.
Published: (2023-07-01)

VIRTUAL TOURS WITH GEOECOLOGICAL CONTENT: METHODICAL ASPECT
by: A. V. Poryvaev
Published: (2017-09-01)

RESEARCH OF DYNAMIC MODEL AIR FIELD HARVESTER
by: A.V. KORCHAGIN
Published: (2018-10-01)

ПРИМЕНЕНИЕ МЕТОДОВ ИНТЕЛЛЕКТУАЛЬНОГО АНАЛИЗА ДАННЫХ ДЛЯ РЕАЛИЗАЦИИ РЕФЛЕКСИВНОЙ АДАПТАЦИИ В СИСТЕМАХ E-LEARNING
Published: (2016-08-01)

ПРАВО НА ДОСТОВЕРНУЮ ИНФОРМАЦИЮ В СЕТИ ИНТЕРНЕТ: ВЫЗОВЫ ФЕЙКОВИЗАЦИИ И ПУТИ РЕШЕНИЯ
by: А.Е. Канакова
Published: (2025-03-01)