Метод автоматического восстановления переменных из трассы исполнения программы
Аннотация
В работе описывается метод восстановления локальных переменных из трассы исполнения программы. Метод использует одну из схем анализа потоков данных - достигающие определения. В ней также рассматриваются существующие подходы к решению задачи восстановления переменных
Список литературы
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.
Рецензия
Для цитирования:
Климушенкова М.А., Макаров В.А. Метод автоматического восстановления переменных из трассы исполнения программы. Труды Института системного программирования РАН. 2011;21.
For citation:
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.)
Послать статью по эл. почте 