Оглавление
Введение.
1. Постановка задачи.
2. Обзор работ и классификация.
2.1 Лексический анализ
2.2 Синтаксический анализ.
2.3 Использование спецификаторов типов
2.4 Анализ потока данных
3. Используемые понятия и методы.
3.1 Абстрактный объект памяти АОП.
3.2 Модельный целочисленный тип.
3.3 Атрибуты АОП
3.4 Полурешетка контекстов
4. Общая схема методики поиска уязвимостей.
4.1 Внутрипроцедурный анализ
4.1.1 Представление функции
4.1.2 Анализ циклов
4.1.3 Компактное представление потока данных.
4.1.4 Алгоритм работы с представлением потока данных.
4.1.5 Вычисление контекстов инструкций.
4.1.6 Инструкции увеличения счетчика в цикле.
4.1.7 Условные переходы .
4.1.8 Прямые вызовы функций
4.1.9 Вызовы функций по указателю
4.1. Остальные инструкции.
4.1. Входной и выходной контексты функции.
4.2 Межпроцсдурный анализ.
4.2.1 Общий межпроцсдурный алгоритм
4.2.2 Стратегия обхода графа вызовов
4.2.3 Анализ вершины графа вызовов
4.2.4 Интерфейс для внутрипроцедурного анализа.
4.3 Обнаружение уязвимостей на основе вычисленных атрибутов.
4.4 Реализация уточнения уязвимостей и обнаружения их источников
5. Реализация методов
6. Экспериментальные результаты
Заключение
Список литературы
- Київ+380960830922