Automatic uninitialized value usage detection during full-system emulation
Developed method, which is described in this paper, is capable of automated detection of uninitialized values within the scope of full-system emulation. This method is of immediate interest for low-level software, such as BIOS or initial loader, which initializes hardware and loads the operating sys...
Main Author: | N. A. Belov |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
Series: | Труды Института системного программирования РАН |
Subjects: | |
Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/167 |
Similar Items
-
Description of hardware configurations of guest systems in QEMU emulator as separate text files
by: O. V. Goremykin
Published: (2018-10-01) -
In-Kernel Memory-Mapped I/O Device Emulation
by: V. Yu. Cheptsov, et al.
Published: (2018-10-01) -
Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations
by: D. A. Maksimenkov
Published: (2018-10-01) -
Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets
by: Ildar Isaev, et al.
Published: (2018-10-01) -
Technique The Instrumentation A Code And Optimization of code lines in modeling phase transitions on the programming language C++
by: E. V. Palchevsky, et al.
Published: (2018-10-01)