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


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

Начало проекта – 2014 год. Заказчик - РФФИ.

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

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

Грант РФФИ 14-01-00462 А.

Исполнитель

Компиляторные технологии

Перейти к списку всех проектов