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

• Автор: Аветисян, Арутюн Ишханович
• Шифр специальности: 05.13.11
• Научная степень: Докторская
• Год защиты: 2012
• Место защиты: Москва
• Количество страниц: 271 с. : ил.

ОБЗОР СОВРЕМЕННЫХ МЕТОДОВ СТАТИЧЕСКОГО И ДИНАМИЧЕСКОГО АНАЛИЗА ПРОГРАММ ДЛЯ

АВТОМАТИЗАЦИИ ПРОЦЕССОВ ПОВЫШЕНИЯ КАЧЕСТВА

IIIРАММНОГ О ОБЕСПЕЧЕНИЯ

ГГпанирование команд и векторизация циклов

Инструментальное обеспечение разработки МРпрограмм

Статические методы поиска дефектов в исходном коде программ

Динамические методы анализа бинарного кода и проблемы безопасности

программного

обеспечения

Компиляторные инфраструктуры, применяемые для поддержки работ в области

компиляторных технологий

ВЫЯВЛЕНИЕ ПАРАЛЛЕЛИЗМА КОМАНД ПРИ КОМПИЛЯЦИИ ПРОГРАММ
Общий метод планирования команд для архитектур с явным параллелизмом команд в
промышленном компиляторе
Особенности применения метода планирования команд для современных архитектур в
промышленном компиляторе
Основные структуры данных
Учт различных типов команд
Учет зависимостей по данным
Улучшения переименования регистров для компилятора
Кэширование истории преобразований
Конвейеризация циклов
Оценка выгодности перемещения команд при конвейеризации
Доработка кодогенератора Ii в компиляторе
2.2.9 Спекулятивное выполнение при планировании команд
2.3 Поддержка условного выполнения при планировании команд
Поддержка преобразования ветвлений в компиляторе
Преобразования ветвлений при планировании команд
Экспериментальные результаты
ПРИМЕНЕНИЕ ДИНАМИЧЕСКОГО АНАЛИЗА ДЛЯ НАСТРОЙКИ МР1ПРОГРАММ. СРЕДА V
Модельпрограммы
Определение модели процесса
Модельное время
Построение модели vIпрограммы
Оценка времени, затрачиваемого на передачу данных между процессами vI
программы 1
Базовые операции обмена
Моделирование функций I, осуществляющих коммуникации отточки к точке.
Моделирование горячих методов
Интерпретация модели
Интерпретация внутренних узлов
Интерпретация базовых блоков
Оценка времени выполнения фрагментов программы
Интерпретация коммуникационных функций при оценке времени работы программы и
оценка времени их выполнения 2
Частичная интерпретация и редукция
Определение частичной интерпретации
Корректность редукции
Применение частичной интерпретации для получения оценок времени выполнения
методов 0
3.6 Прогноз времени выполнения .сшЛУУпрограммы для заданного числа узлов
кластера. 2
Измерение времени работы областей фрагментов М7программы на целевой
вычислительной системе для ускорения интерпретации ее модели 2
Измерение времени выполнения сбалансированных гнезд циклов
Измерение степени разбапансированности гнезда циклов и времени выполнения
разбалансированных гнезд циклов в среде РаЫма 4
Оценка времени выполнения циклов, требующих синхронизации
Результаты численных расчетов. Практическое применение среды Раача
Применение среды Раг1аа настройка простой .аияМТпрограммы
Применение среды РаПауа разработка прикладной ДауаМРЕпрограммы моделирования
процессов и условий генерации интенсивных атмосферных вихрей торнадо 0
ИСПОЛЬЗОВАНИЕ СТАТИЧЕСКОГО АНАЛИЗА ДЛЯ ПОИСКА УЯЗВИМОСТЕЙ И КРИТИЧЕСКИХ ОШИБОК
В ИСХОДНОМ КОДЕ ПРОГРАММ 1
Вводные замечания
Методы и алгоритмы статического анализа
Поиск уязвимостей и критических ошибок в исходном коде программ
Архитектура инструмента статического анализа
Анализ исходного кода инструментом Буасе
Ход анализа
Описание спецификаций функций
Описание детекторов
Описание типов атрибутов
Примеры реализованных детекторов
Тестирование компонентов инструмента
Тестирование качества анализа
ТЯЕХ ПРОГРАММНАЯ СРЕДА ДЛЯ ДИНАМИЧЕСКОГО АНАЛИЗА БИНАРНОГО КОДА
Общая схема комбинированного анализа
Внутреннее представление исполняемого кода программы
Интеграция компонент статического и динамического анализа
Цели и направления интеграции
Модульрасширение ЮАЬиаР1ифп
Загрузчик VасЫ ОАЕоа1сг
Клиентский модуль системы ТгЕх
Восстановление структуры бинарных данных по трассам программ
Источники данных для анализа
Уточнение понятия сообщение
Особенности анализа пакетов разного уровня
Типы сообщений, с точки зрения их структуры
Задача анализа протокола
Особенности реализованной системы
Особенности анализа файлов
Особенности анализа входящих и исходящих данных
Система описания моделей функций
Система описания семантики функций и их параметров
Общая схема подхода
Пуги развития системы
Анализ шифрованного трафика
Другие приложения результатов восстановления формата
Реализация среды Тгех
Возможности скриптового интерфейса
Применение среды Тгех
Выделение исследуемого кода
Восстановление алгоритма генерации лицензионного ключа
Восстановление формата данных
Исследование вредоносного кода
ДВУХЭТАПНАЯ КОМПИЛЯЦИЯ ДЛЯ ОПТИМИЗАЦИИ И ПЕРЕНОСИМОСТИ
ПРОГРАММ
Метод двухэтапной компиляции
Схема двухэтапной компиляции
Динамическая оптимизация программ на языках общего назначения
Развертывание программ с помощью двухэтапной компиляции
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


ПРИМЕНЕНИЕ ДИНАМИЧЕСКОГО АНАЛИЗА ДЛЯ НАСТРОЙКИ МР1ПРОГРАММ. Моделирование функций I, осуществляющих коммуникации отточки к точке. Прогноз времени выполнения . Результаты численных расчетов. Применение среды Раг1аа настройка простой . Интернет, Интранет. Рассмотрим проблему автоматизации процессов обеспечения качества ПО подробнее. Автоматизация процессов обеспечения эффективности. Автоматизация процессов обеспечения безопасности программноаппаратных систем. ОтегпеШтгапеО. ПО как ошибки кодирования, так и ошибки проектирования. ПО. В случае . Однако . Цель и задачи работы. ЬпегпеьЧтгапеО. Методы исследования. Научная новизна. В.II. Николаевского. ПО. ПО. По материалам диссертации опубликована работа 1. Электронике Ко. Лтд. ФГУП НИИ Квант. РФ. Личный вклад. Выносимые на защиту результаты получены соискателем лично. Диссертация состоит из введения, шести глав, заключения и списка литературы. I в ней использованы и как размещены в программе обращения к этим процедурам. ТгЕх. В заключении формулируются основные результаты и выводы диссертационной работы. ССС , Ы. УМ и др. II. ПО как ошибки кодирования, гак и ошибки проектирования. Разделы 1. ПО, как в исходном раздел 1. Планирование трасс . Планирование по путям в дереве доминирования. Сведения о подходах к планированию команд обобщены в таблице 1. Планирование произвольных ациклических регионов графа потока управления. Поддержка клонирования команд т. Поддержка глобальных преобразований. После прохода пути
Рис. На рисунке 1. Рис. Iiii Iv, . На рисунке 1.