Средства автоматизации обратного проектирования встроенных систем

• Автор: Мартынов, Антон Иванович
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Ульяновск
• Количество страниц: 252 с. : ил.

Оглавление. Введение. II 1. Состав и анализ исходных данных для ОГГОС. Анализ фрагментов машинного кода. Анализ исходных текстов программ. Декомпиляторы. САБЕсредства. Сценарий поиска эффективного решения. Сценарий параметрической модификации. Перепроектирование системы. Разработка графовых моделей для представления продуктов ОП. Получение производных последовательностей. Классификация полученных последовательностей. Глава 3 Разработка и исследование моделей средств поддержки ОП. Укрупнение алгоритмов и семантический анализ. Оценка результатов и создание документации. Выводы по третьей главе. ЯВУ. Это делало систему легко расширяемой при создании декомпилятора для различных пар исходный языкцслевой язык. Исследования данного направления отражены в работе . Для приложений пользовательского уровня, содержащих, в основном, вычислительные команды, команды обращения в память и передачи управления, такой подход, вероятно, может быть оправдан. ЯПВУ. В результате такого отображения блоки команд ассемблера, обладающих семантикой высокоуровневой операции, заменяются командой на языке внутреннего представления.


Он же проанализировал усилия, затрачиваемые на повышение корректности декомпиляции до 0, и нашел,
что они эквивалентны уже проделанной работе. Несмотря на разработку новых методов декомпиляции, несомненно повышающих степень охвата вариантов кода и корректность его восстановления, данное замечание актуально тем, что побуждает разрабатывать декомпилятор как открытую систему, в которой предусматривается настройка на конкретные варианты кода в процессе эксплуатации. Задача структуризации машинной программы используют выделение основных управляющих базовых элементов и компонентов программы, таких как, основная программа, подпрограммы, обработчики прерываний, константные данные и их адреса, области оперативной памяти и их адреса, используемые области адресного пространства вводавывода через процедуру дизассемблирования. Для описания поведения, которое используется при семантическом анализе, машинные программы удобно представлять в виде ориентированного графа с нагруженными дугами , в котором вершины обозначают состояния программы, а дуги обозначают переходы между состояниями. Решение задачи автоматического преобразования последовательности входных символов алфавита множество шестнадцатеричных символов в форму ориентированного графа приводится в работе , причем показано, что эффективнее решать эту задачу в два этапа дизассемблирование и анализ листингов ассемблерной программы. Эффективность состоит в том, что известные проблемы данного преобразования Проблема останова машины Тьюринга,8, Использование идиом, Архитектурнозависимые ограничения и т.