Введение
1 Анализ структурных метаданных машинного кода 11
1.1 Анализ современных способов нейтрализации уязвимостей в программном коде телекоммуникационных устройств 11
1.2 Идентификация структурных метаданных типичных парадигм разработки программного кода телекоммуникационных устройств 32
1.3 Исследование моделей машинного кода с позиции структурных метаданных 39
Выводы по разделу 1 56
2 Синтез метода алгоритмизации машинного кода для поиска уязвимостей 59
2.1 Построение схемы алгоритмизации машинного кода для поиска уязвимостей 59
2.2 Систематизация аспектов алгоритмизации машинного кода 63
2.3 Этапизация метода алгоритмизации машинного кода 85
Выводы по разделу 2 93
3 Разработка программного средства алгоритмизации машинного кода 95
3.1 Разработка функциональной архитектуры Утилиты 95
3.2 Разработка информационной архитектуры Утилиты 102
3.3 Разработка программной архитектуры Утилиты 114
3.4 Примеры тестирования работоспособности и текущее состояние прототипа 117
Выводы по разделу 3 121
4 Оценка эффективности алгоритмизации машинного кода... 123
4.1 Целевой способ поиска уязвимостей в машинном коде с применением алгоритмизации 123
4.2 Разработка и применение методики оценки потребительских свойств средства алгоритмизации 126
4.3 Разработка и применение методики оценки функциональности средства алгоритмизации 138 4.4 Выбор и обоснование системы критериев оценки алгоритмизированности машинного кода 141
4.5 Расчет метрики понятности представлений программного кода 146
4.6 Разработка методики оценки эффективности поиска уязвимостей с использованием алгоритмизации машинного кода 155
Выводы по разделу 4 161
Заключение 163
Список литературы 167
