Введение
ГЛАВА 1. Статический анализ с использованием промежуточных представлений 13
1.1.Статический анализ, промежуточные представлени 13
1.2. Идеи развития представлений 24
1.3.Выводы к первой главе 30
ГЛАВА 2. Модель промежуточных представлений 32
2.1.Модель промежуточного представления 32
2.2. Автоматная модель генератора промежуточных представлений 41
2.3.Выводы ко второй главе 57
ГЛАВА 3. Реализация и тестирование генераторов представлений 59
3.1.Разработка прототипов программных утилит 59
3.2. Оценка эффективности использования промежуточных представлений 68
3.3.Выводы к третьей главе 74
ГЛАВА 4. Реализация, тестирование и оценка эффективности анализаторов 76
4.1.Разработка анализаторов для промежуточного представления 76
4.2. Поиск оптимальных входных величин для анализаторов 83
4.3.Визуализация потока управления и анализ трасс 90
4.4.Выводы к четвертой главе 108
Заключение 110
Список сокращений и условных обозначений 112
Список литературы 113
Список иллюстративного материала
