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