Анализ потока управления

В информатике метод анализ потока управления ( CFA ) — это статического анализа кода для определения потока управления программой. Поток управления выражается в виде графа потока управления (CFG). Как для языков функционального программирования , так и для объектно-ориентированных языков программирования термин CFA и такие разработки, как k -CFA, относятся к конкретным алгоритмам, которые вычисляют поток управления. ^{[ сомнительно – обсудить ]}

Для многих императивных языков программирования поток управления программой явно описан в исходном коде программы. ^{[ сомнительно – обсудить ]} В результате межпроцедурный анализ потока управления неявно обычно относится к методу статического анализа для определения получателей вызовов функций или методов в компьютерных программах, написанных на языке программирования более высокого порядка . ^{[ сомнительно – обсудить ]} Например, в языке программирования с функциями более высокого порядка, таком как Scheme , цель вызова функции может быть неявной: в изолированном выражении

(  лямбда   (  f  )   (  f   x  ))

непонятно, к какой процедуре f может обратиться. Анализ потока управления должен учитывать, где это выражение может быть вызвано и какой аргумент оно может получить для определения возможных целей.

такие методы, как абстрактная интерпретация , решение ограничений и системы типов . Для анализа потока управления могут использоваться ^[1]^{[ нужна страница ]}

См. также

Ссылки

^ Нильсон, Флемминг; Нильсон, Ханне Риис; Хэнкин, Крис (2005). Принципы анализа программ . Springer Science+Business Media .

Внешние ссылки

[1] Нильсон, Флемминг; Нильсон, Ханне Риис; Хэнкин, Крис (2005). Принципы анализа программ . Springer Science+Business Media .

[1]

v т и Оптимизация компилятора
Базовый блок	Оптимизация глазка Нумерация локальных значений
Петля	Автоматическое распараллеливание Автоматическая векторизация Индукционная переменная Петля слияния Движение кода, инвариантное к циклу Инверсия цикла Перестановка петель Оптимизация гнезда циклов Разделение цикла Развертывание цикла Выключение петли Конвейерная обработка программного обеспечения Снижение прочности
Поток данных анализ	Доступное выражение Удаление общего подвыражения Постоянное складывание мертвого магазина Устранение Распознавание и устранение индукционных переменных Анализ переменных в реальном времени Использовать-определить цепочку
SSA на основе	Глобальная нумерация значений Разреженное условное постоянное распространение
Генерация кода	Планирование инструкций Выбор инструкции Распределение регистров Рематериализация
Функциональный	Вырубка лесов Устранение хвостовых вызовов
Глобальный	Межпроцедурная оптимизация
Другой	Устранение проверки границ Выполнение функции во время компиляции Устранение мертвого кода Шаблоны выражений Встроенное расширение Перейти к потоку Частичная оценка Оптимизация на основе профиля
Статический анализ	Анализ псевдонимов Анализ доступа к массиву Анализ потока управления Анализ потока данных Анализ зависимостей Анализ побега Анализ указателя Анализ формы Анализ диапазона значений