Сборники трудов ИСП РАН


Метод автоматического восстановления переменных из трассы исполнения программы.

М.А. Климушенкова, В.А. Макаров.

Аннотация

В работе описывается метод восстановления локальных переменных из трассы исполнения программы. Метод использует одну из схем анализа потоков данных – достигающие определения. В ней также рассматриваются существующие подходы к решению задачи восстановления переменных.

Ключевые слова

автоматическое восстановление переменных, трассы исполнения программы, достигающие определения

Издание

Труды Института системного программирования РАН, том 21, 2011, стр. 119-122.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома