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

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

Автор: Мартынов, Антон Иванович

Шифр специальности: 05.13.12

Научная степень: Кандидатская

Год защиты: 2005

Место защиты: Ульяновск

Количество страниц: 252 с. ил.

Артикул: 2816288

Автор: Мартынов, Антон Иванович

Стоимость: 250 руб.

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


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

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.288, запросов: 244