Raising the level of abstraction of program execution trace

This paper presents a method for raising the level of abstraction of a program execution trace by building of an algorithm model.Dynamic analysis of executable files is often used to understand the logic of a program in the absence of source code. One of dynamic analysis methods is analysis of progr...

Full description

Bibliographic Details
Main Authors: A. G. Nazarov, M. A. Klimushenkova, P. M. Dovgaluk, V. A. Makarov
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/975