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


Об одной модели последовательных программ с динамической памятью.

Авторы

Захаров В.А., Иванов К.С.

Аннотация

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

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

последовательная программа, динамическая память, указатель, статический анализ, стандартная модель программ, обфускация

Издание

Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 112-116.

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

Теоретическая информатика

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