(control flow graph) граф потока управления описывает как программный счётчик может проходить процедуру. Узлами этого графа являются базовые блоки (максимальные прямолинейные сегменты команд), дуги показывают передачи управления (обычно переходы) Смотри также: call graph, DDG