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

Анализ статический, при котором выделяются процедуры программы, линейные участки кода процедур и условия переходов между этими участками [ ГОСТ Р 71207-2024 ].