ru %D0%90%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7 %D0%BF%D0%BE%D1%82%D0%BE%D0%BA%D0%B0 %D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F

Анализ потока управления — это статический анализ кода для определения порядка выполнения программы. Порядок выполнения выражается в виде графа потока управления.

Для многих языков граф потока управления явно прослеживается в исходном коде программы. Как результат, анализ потока управления обычно относится к статическому анализу кода. В ходе анализа определяются приемники функций и методов, вызванных программами, написанными на языках высокого уровня. И для языков функционального программирования, и для объектно-ориентированных языков программирования термин «Анализ потока управления» означает алгоритм, который формирует граф потока управления.

Термин анализ потока управления (control flow analysis) был впервые использован Нейлом Джонсом (Neil D. Jones)^[1] и Олин Шиверс (Olin Shivers)^[2].

Для анализа потока управления могут быть использованы: Абстрактная интерпертация^[англ.], Удовлетворение ограничений, Типизация данных.

Примечания

↑ Neil D. Jones (1981), "Flow analysis of lambda expressions", Automata, Languages and Programming: 114—128, doi:10.1007/3-540-10843-2_10
↑ Shivers, Olin (1988), "Control-flow analysis in Scheme", Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, Vol.23, No.7: 164—174, doi:10.1145/53990.54007 {{citation}}: Неизвестный параметр |note= игнорируется (справка)

[1] Neil D. Jones (1981), "Flow analysis of lambda expressions", Automata, Languages and Programming: 114—128, doi:10.1007/3-540-10843-2_10

[2] Shivers, Olin (1988), "Control-flow analysis in Scheme", Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, Vol.23, No.7: 164—174, doi:10.1145/53990.54007 {{citation}}: Неизвестный параметр |note= игнорируется (справка)

[1]

[2]