График потока управления (CFG) в информатике является представлением, с помощью нотации графика, всех путей, которые могли бы быть пересечены через программу во время ее выполнения.
В графике потока управления каждый узел в графике представляет базисный блок, т.е. прямолинейную часть кода без любых переходов или целей перехода; перейдите цели запускают блок, и переходы заканчивают блок. Ориентированные ребра используются для представления переходов в потоке управления. Существуют, в большинстве презентаций, двух специально обозначенных блоках: входной блок, через который управление вводит в потоковый граф и блок выхода, через который уезжает весь поток управления.

Ссылка