Введение
Глава 1. Обзор задачи декомпиляции 15
1.1. Проблемы декомпиляции 17
1.2. Структура декомпилятора 19
1.3. Виды декомпиляторов
1.3.1. Декомпиляторы машинного кода 22
1.3.2. Декомпиляторы объектного кода 22
1.3.3. Декомпиляторы байт-кода 23
1.4. Обзор современных декомпиляторов 24
1.4.1. Декомпиляторы машинного кода 25
1.4.1.1. Boomerang 25
1.4.1.2. DCC 25
1.4.1.3. REC 26
1.4.1.4. Hex-Rays 26
1.4.1.5. SmartDec 26
1.4.2. Декомпиляторы байт-кода 27
1.4.2.1. ILSpy 27
1.4.3. Декомпиляторы Delphi 29
1.4.3.1. IDR 29
1.4.3.2. EMS Source Rescuer
1.5. История развития Delphi 30
1.6. Формат объектных файлов Delphi 33
1.7. Виды программного кода, встречающиеся в объектных файлах Delphi 36
1.8. Особенности декомпиляции объектных файлов Delphi 38
1.9. Выводы 39
Глава 2. Методы декомпиляции объектного кода Delphi 41
2.1. Общая схема процесса декомпиляции объектного кода Delphi 41
2.2. Лексический анализ байт-кода CIL 42
2.3. Промежуточное представление подпрограмм объектных файлов
2.3.1. Трёхадресный код 45
2.3.2. Статическое единичное присваивание 45
2.3.3. Ориентированный ациклический граф 47
2.4. Генерация управляющего графа 48
2.4.1. Базовые блоки 48
2.5. Дерево доминирующих вершин 49
2.6. Анализ потоков управления
2.6.1. Анализ дерева доминирующих вершин 53
2.6.2. Интервальный анализ
2.7. Структурный анализ 56
2.8. Алгоритм структурирования кода подпрограмм объектных файлов Delphi 58
2.9. Анализ потоков данных подпрограмм 63
2.9.1. Итерационный алгоритм для достигающих определений 64
2.10. Методы генерации целевого кода 66
2.11. Выводы 67
Глава 3. Инструментальное программное средство анализа объект ного кода Delphi 68
3.1. Архитектура декомпилятора 68
3.2. Загрузчик файла 70
3.3. Процедура дизассемблирования 71
3.4. Генерация выражений 73
3.5. Генерация управляющего графа 75
3.6. Восстановление высокоуровневых операторов 78
3.7. Декомпиляция вызовов процедур и функций 79
3.8. Оптимизация кода 81
3.9. Генерация кода 83
3.10. Описание пользовательского интерфейса 85
3.11. Пример использования разработанного декомпилятора 87
3.12. Пример декомпиляции функции 90
3.13. Результаты тестирования 93
3.14. Выводы 95
Глава 4. Применение методов декомпиляции в задаче визуализации управляющего графа 97
4.1. Критерии качества визуализации графа потоков управления 98
4.2. Метод поуровнего изображения графов 100
4.3. Визуализация графов потоков управления
4.3.1. Алгоритм структурирования 101
4.3.2. Процесс раскладки
4.4. Реализация алгоритмов визуализации и их тестирование 103
4.5. Выводы 105
Заключение 107
Список сокращений и условных обозначений 109
Словарь терминов 110
Список литературы
