| progr. |
граф управления (ssn); граф потоков управления (ssn); граф потока управления (абстрактный способ описания последовательности операций (команд), выполняемых процессором. Программисты визуально представляют ход программы с учётом, напр., таких управляющих конструкций, как if...then...else, и подпрограмм (процедур), которым управление "передаётся" и от которых "возвращается". Граф (потоков) управления позволяет увидеть логику программы и определить, работает ли она так, как задумано. В частности, такой граф описывает, как программный счётчик может проходить процедуру. Узлами графа потока управления являются базовые блоки (максимальные линейные сегменты команд, basic block), дуги показывают передачи управления (обычно переходы) ssn) |
