Исследование и разработка методов декомпиляции программ

• Автор: Трошина, Екатерина Николаевна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Москва
• Количество страниц: 134 с. : ил.

Декомпиляция как задача обратной инженерии

Задача декомпиляции как составляющая задачи обратной инженерии .

Обзор задачи дизассемблирования

Декомпозиция задачи декомпиляции на подзадачи

Универсальность в задаче декомпиляции

Корректность декомпиляции

Декомпиляция Си программ

Строго удовлетворяющие стандарту Си программы

Качество декомпиляции

Постановка задачи

Методы и инструментальные средства декомпиляции программ

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



xv
Исследование возможностей декомпиляторов
Восстановление типов данных
Основные идеи алгоритма
Объект
Восстановление базовых типов данных
Представление типов данных
Система уравнений модельных типов
Ограничения
Объединение типовых переменных
Решение системы уравнений зависимости типов
Алгоритм восстановления базовых типов данных
Восстановление производных типов данных
Общее описание работы алгоритма
Формальное описание алгоритма
Использование информации о выполнении программы для повышения качества
декомпиляции
Профилирование значений ячеек памяти
Распознование инструкций тетжЬ и тетсру
Профилирование кучи
Экспериментальные результаты
Декомпилятор ТуОес
Инструментальная среда декомпиляции программ ТуЭес
Архитектура
Компоненты системы
Реализация восстановления функционального интерфейса
Восстановление структурных конструкций
Восстановление типов данных
Утилиты профилирования
Утилита ТОТгасе
Утилита ТОНеар
Накладные расходы профилирования
Сравнительная оценка качества восстановлении программ декомпилятором
ГуВес,
Заключение
А Описание архитектуры 1а
Список литературы


Задача декомпиляции как составляющая задачи обратной инженерии . Восстановление библиотечных функций и системных вызовов . Метода математической логики в задаче восстановления типов . Шаблон функции на Си и соответствующий ей ассемблерный листинг . Дизассемблированная программа НеоУог1с1. Ассемблерный листинг программы НеоУогЫ. Си программа, для которой неоднозначно восстановление типа переменной в. Результат применения правил продвижения информации о типах данных . Ассемблерный код для функции . Профилирование значений численных переменных программы i . Пример восстановления структурного типа программы . Пример восстановления структурного типа программы . Актуальность. Внешние модули могут поставляться без исходного кода. Си. На рис. Си, так как нарушены правила арифметики указателей. Си компиляторы выдадут ошибку. Рис. Си. СиМ. Фон Неймана. Рис. Си. Си. I I , I . Рис. Пример 2 декомпиляции программы с низким уровнем качества
иую программу на фиксированном языке высокого уровня, назовем универсальным. Например, указатели языка Си не имеют прямою аналога в языке Фортран. Научная новизна. Практическая значимость. ПО с точки зрения информационной безопасности его использования. Апробация работы. Антверпен, Бельгия, октября г. I . Ванкувер, Канада, мая г. Ii I . Новосибирск, Россия. Алтай, Россия. СанктПетербург, Россия, 1 июля
. Конференция РусКрипто, г. Звенигород, Россия, апреля г. Предлагаемая работа имеет следующую структуру.