Институт системного программирования им. В.П. Иванникова РАН


Некоторые методы автоматизированного анализа и управляемого преобразования программ.

Авторы

М.А.Потапов, Е.А.Шатохин.

Аннотация

Рассматриваются принципы и методы создания программных систем, облегчающих анализ и преобразование структуры программ. При реализации масштабных проектов невозможно иметь полное представление о структуре программы без использования специальных систем. Такие системы содержат средства анализа исходной программы и в результате автоматизированного преобразования создают другую программу, обладающую заданными свойствами. В качестве примеров рассматриваются задачи быстрого автоматического дифференцирования и задачи обфускации (“затемнения”, запутывания) программ.

Полный текст статьи в формате pdf

Издание

Автоматика и телемеханика, №8, 2008. С.176-186.

Научная группа

Технологии программирования

Все публикации за 2008 год Все публикации