A Method for Automatic Recovery of Variables Based on Program Execution Traces
Abstract
The paper considers a method for automatic recovery of variables based on program execution traces. The method uses one of the techniques of dataflow analisys - reaching definitions. The paper also discusses current approaches to solve the task of recover of variables.
About the Authors
M. A. Klimushenkova
ISP RAS, Moscow
Russian Federation
Russian Federation
V. A. Makarov.
ISP RAS, Moscow
Russian Federation
Russian Federation
References
1. Cifuentes, C. Reverse Compilation Techniques, PhD thesis, Queensland University of Technology, 1994.
2. Долгова К. Н., Чернов А. В. Автоматическое восстановление типов в задаче декомпиляции. Программирование, номер 2, журнал Российской академии наук, Москва - 2009.
3. A. Mycroft. Type-based decompilation. European Symp. on Programming, 1576:208 – 223, 1999.
4. Альфред В. Ахо, Моника С. Лам, Рави Сети, Джеффри Д. Ульман. Компиляторы. Принципы, технологии и инструментарий. Второе издание. «Вильямс» Москва - 2011
5. В.А. Падарян, А.И. Гетьман, М.А. Соловьев. Программная среда для динамического анализа бинарного кода. Труды Института Системного Программирования. Том 16. 2009. стр. 51-72.
Review
For citations:
Klimushenkova M.A., Makarov. V.A. A Method for Automatic Recovery of Variables Based on Program Execution Traces. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;21. (In Russ.)
Email this article 