Methods to improve reverse debugging performance

Methods to improve reverse debugging performance

Reverse debugging is software development technique that effectively helps to fix bugs caused by nondeterministic program behavior. It allows inspecting past program’s state without rerun. The paper describes implementation of software reverse debugging using deterministic replay based on the QEMU e...

Full description

Bibliographic Details
Main Authors:	M. A. Klimushenkova, P. M. Dovgalyuk
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	обратная отладка детерминированное воспроизведение qemu симулятор
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1094

Similar Items

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

Two approaches to full-system deterministic replay in QEMU
by: K. Batuzov, 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)

Deterministic replay specifics in case of minimal device set
by: V. Y. Efimov, et al.
Published: (2018-10-01)

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

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

Platform-independent reverse debugging of the virtual machines
by: Pavel Dovgalyuk, et al.
Published: (2016-04-01)

Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations
by: D. A. Maksimenkov
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)

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

МОРАЛЬНО-ПРАВОВЫЕ АСПЕКТЫ ЦИФРОВИЗАЦИИ ВОЛЕЙБОЛА КАК ВИДА СПОРТА
by: Юрий Васильевич Нечушкин, et al.
Published: (2020-03-01)

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

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

An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of "Elbrus"
by: Pavel Alexeyevich Poroshin, et al.
Published: (2019-09-01)

SIMULATORS FOR TRAINING OF ROV OPERATOR
by: B. I. Shakhtarin, et al.
Published: (2016-11-01)

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

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

IMPLEMENTATION OF STEPPER TRAINER SIMULATOR IN PROFESSIONAL PREPARATION OF FUTURE SPECIALISTS ON PHYSICAL EDUCATION
by: Oksana K. Kornosenko, et al.
Published: (2017-04-01)

Emotional impact of text and translator's faults
by: M S Broitman
Published: (2010-12-01)

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

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

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

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

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

OF PRESENTING THE RESULTS OF NETWORK TRAFFIC ANALYSIS
by: A. I. Get'man, et al.
Published: (2018-10-01)

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

Delphi object files decompiler
by: A. A. Mikhailov, et al.
Published: (2018-10-01)

Parallelization of virtual machines for efficient multi-processor emulation
by: Chakravarthy, Ramapriyan Sreenath
Published: (2010)

Design high-confidence computers using trusted instructional set architecture and emulators
by: Shuangbao (Paul) Wang, Ph.D.
Published: (2021-12-01)

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

Neyroimmunoendokrinnye vzaimodeystviya: eksperimental'nye i klinicheskie aspekty
by: I G Akmaev
Published: (2002-03-01)

ПРО ОБЕРНЕНУ ЗАДАЧУ АСТРОДИНАМІКИ
by: Yu. L. Menshikov, et al.
Published: (2014-01-01)

Dynamic Translation Optimization Method Based on Static Pre-Translation
by: Jun Wang, et al.
Published: (2019-01-01)

Enabling Parallelized-QEMU for Hardware/Software Co-Simulation Virtual Platforms
by: Edel Díaz, et al.
Published: (2021-03-01)

Local Dynamics of a Laser with Rapidly Oscillating Parameters
by: E. V. Grigorieva, et al.
Published: (2013-01-01)

Strengthening of ramming pit throat technology and device for it's realization
by: А Petrovich Svintsov, et al.
Published: (2010-06-01)

ХУДОЖЕСТВЕННЫЙ ДИАЛОГ: ЗАКОНОМЕРНОСТИ КОНСТРУИРОВАНИЯ, ОБРАЗНЫЙ СМЫСЛ, ЯЗЫКОВАЯ СПЕЦИФИКА (НА МАТЕРИАЛЕ ПРОЗЫ М.А. ШОЛОХОВА)
by: Ludmila Pavlovna Kochetova
Published: (2016-12-01)

Impact of Modern Virtualization Methods on Timing Precision and Performance of High-Speed Applications
by: Veronika Kirova, et al.
Published: (2019-08-01)

System Approach and the Theory of Control in Management
by: K N Lebedev
Published: (2009-06-01)

INFORMATION FUNCTION OF CONTROL IN THE MANAGEMENT
by: T. N. Nashinskaya
Published: (2016-11-01)