СОДЕРЖАНИЕ
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. МЕТОДЫ КОНТРОЛЯ И АНАЛИЗА ПРОГРАММ.
1.1 Программа как объект исследования.
1.2 Методы контроля программ
1.2.1 Статический анализ программ
1.2.2 Динамический анализ программ.
I 2.3 Другие методы анализа
1.3 Место методов анализа в жизненном цикле ПО
1.4 Постановка задачи
Выводы
ГЛАВА 2. МЕТОД ВОССТАНОВЛЕНИЯ УПРАВЛЯЮЩЕГО ГРАФА ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПО ЕЕ ИСПОЛНЯЕМОМУ КОДУ.
2.1 Формальные модели программ.
2.2 Типы и структуры исполняемых модулей.
2.2.1 Обобщенный формат команды процессора
2.2 2 Графовое представление исполняемого кода.
2.2.3. Графоаналитическая модель исполняемого модуля.
2.3 Метод формирование управляющего графа функциональной программы.
2.4 Оценка степени сложности управляющего графа ФП.
Выводы
ГЛАВА 3. СТРУКТУРНОФУНКЦИОНАЛЬНАЯ ДЕКОМПОЗИЦИЯ УПРАВЛЯЮЩЕГО ГРАФА ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ.
3.1 Поиск процедур. Алгоритмы.
3.3. Поиск параметров процедур.
3.2 Поиск циклов. Алгоритмы.
3.4 Поиск параметров цикла.
3.5 Поиск инвариант цикла.
Выводы
ГЛАВА 4. ПРОГРАММНАЯ СИСТЕМА ВОССТАНОВЛЕНИЯ УПРАВЛЯЮЩЕГО ГРАФА ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ.
4.1 Общая структура программной системы.
4.2 Модуль имитатора загрузчика.
4.3 Модули дешифрации и поиска КУПК
4.5 Модуль формирования и сортировки списка вершин
4.6 Модули поиска процедур и циклов Ц
4.6 Модуль формирования матриц
4.7 Методика работы с программной системой
4 7 1 Чтение данных из заголовка исполняемого модуля.
4 7.2 Запись в файл дампа ИМ.
4.7.3 Дизассемблирование команд ИМ.
4.7.4 Формирование и сортировка предварительного списка вершин
4.7.5. Поиск адресов начала и конца всех процедур ИМ.
4.7.6 Поиск адресов начала и конца всех циклов ИМ и определение их вложенности.
4.7.7 Запуск программной системы
Выводы
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922