Введение
1 Маскирующие преобразования программ 11
1.1 Задача маскировки программ 11
1.2 Используемая терминология 14
1.3 Метрики сложности программ 17
1.4 Расстояние между программами 19
1.5 Определение устойчивости маскирующего преобразования 22
1.6 Методы анализа и трансформации программ 23
1.7 Маскирующие преобразования программ 25
1.7.1 Текстуальные маскирующие преобразования 25
1.7.2 Преобразования управляющей структуры 26
1.7.3 Преобразования реструктуризации всей программы 27
1.7.4 Преобразования маскировки одной процедуры 31
1.7.5 Непрозрачные предикаты 42
1.7.6 Трансформация графа потока управления («диспетчер») 46
1.7.7 Сравнение свойств разных маскирующих преобразований 49
1.8 Использование маскирующих преобразований программ 51
2 Анализ маскирующих преобразований программ 52
2.1 Анализ маскирующих преобразований 52
2.1.1 Анализ лексических преобразований 53
2.1.2 Анализ маскирующих преобразований графа потока управления . 54
2.2 Классификация маскирующих преобразований программ 65
2.3 Применение методов демаскировки 66
2.3.1 Анализ замаскированных вручную программ 66
2.3.2 Анализ программ, замаскированных автоматически 67
2.4 Выводы 70
3 Новый метод маскировки программ 72
3.1 Общее описание метода маскировки 73
3.1.1 Увеличение размера графа потока управления 74
3.1.2 Разрушение структурности графа потока управления 76
3.1.3 Генерация несущественного кода 77
3.1.4 Перемешивание программ 78
3.2 Реализация метода маскировки 78
3.2.1 Увеличение графа потока управления процедуры 80
3.2.2 Преобразования разрушения структурности 88
3.2.3 Генерация несущественного кода 92
3.2.4 «Зацепление» холостой и основной программы 95
3.3 Устойчивость метода 98
3.3.1 Формальная устойчивость метода 98
3.3.2 Неформальная устойчивость метода 105
3.4 Пример применения метода 106
3.5 Выводы 115
4 Интегрированная среда Poirot 116
4.1 Архитектура системы 116
4.2 Промежуточное представление 118
4.3 Интерфейс пользователя 119
4.3.1 Меню Analyze 121
4.3.2 Меню Optimize 122
4.3.3 Меню Transform 123
4.3.4 Меню Obfuscate 123
4.3.5 Меню Generate 124
4.3.6 Меню Execute 124
4.3.7 Меню Visualize 125
4.3.8 Меню Traces 125
4.3.9 Меню Options 126
Заключение 127
Список литературы 128
