Эту статью, возможно, придется переписать, чтобы она соответствовала стандартам качества Википедии . ( Июль 2014 г. ) |
В информатике , анализ потока управления ( CFA ) представляет собой статический код-анализ метод для определения потока управления программой. Поток управления выражается в виде графа потока управления (CFG). И для функциональных языков программирования, и для объектно-ориентированных языков программирования термин CFA и такие разработки, как k -CFA, относятся к конкретным алгоритмам, которые вычисляют поток управления. [ сомнительно ]
Для многих императивных языков программирования поток управления программой явно указан в исходном коде программы. [ сомнительно ] В результате межпроцедурный анализ потока управления неявно обычно относится к методике статического анализа для определения получателя (ей) вызовов функций или методов в компьютерных программах, написанных на языке программирования более высокого порядка . [ сомнительно ] Например, в языке программирования с функциями высшего порядка, такими как Scheme, цель вызова функции не может быть явной: в изолированном выражении
( лямбда ( f ) ( f x ))
неясно, к какой процедуре f
может относиться. Анализ потока управления должен учитывать, где это выражение может быть вызвано и какой аргумент оно может получить для определения возможных целей.
Для анализа потока управления могут использоваться такие методы, как абстрактная интерпретация , решение ограничений и системы типов . [1] [ необходима страница ]
См. Также [ править ]
- Диаграмма потока управления (CFD)
- Анализ потока данных
- Алгоритм декартова произведения
- Анализ указателя
Ссылки [ править ]
- ^ Нильсон, Флемминг; Нильсон, Ханне Риис; Ханкин, Крис (2005). Принципы анализа программ . Springer Science + Business Media .
Внешние ссылки [ править ]
Викискладе есть медиафайлы, связанные с анализом потока управления . |