Mathematical Foundations of Informatics and Programming

Analysis of algorithms of executable files in a computer emulator with a changeable specification

A. S. Burlakov

Irkutsk State University, Irkutsk

Abstract: The report addresses to issues related to the description of the semantics of machine instructions. This includes the analysis of expressions. It also discusses the methods for dynamic analysis of applications executed within the built-in environment, such as tracing the progress of the program and the construction of the graph of conditional transitions.

UDC: 518.517