Obsah:
Definícia - Čo znamená Control Flow Graph (CFG)?
V počítačovej vede je graf toku (CFG) grafickým znázornením toku toku alebo výpočtov počas vykonávania programov alebo aplikácií. Grafy riadiacich tokov sa väčšinou používajú v statických analýzach, ako aj v kompilátorových aplikáciách, pretože môžu presne predstavovať tok vnútri programovej jednotky.
Graf kontrolného toku vďačí za svoj rozvoj Frances E. Allen.
Techopedia vysvetľuje Control Flow Graph (CFG)
Graf toku riadenia je procesne orientovaný a môže zobrazovať všetky cesty, ktoré môžu prejsť počas vykonávania programu. Graf riadiaceho toku sa môže tiež považovať za riadený graf, v ktorom hrany zobrazujú riadiace tokové cesty a základné bloky zobrazujúce uzly, ktoré sú rovnými úsečkami bez akýchkoľvek skokov alebo vetvenia.
V regulačnom postupovom grafe existujú dva špeciálne označené bloky: vstupný a výstupný. Vstupný blok umožňuje ovládaniu vstúpiť do grafu regulačného toku, zatiaľ čo regulačný tok opúšťa výstupný blok. Inými slovami, riadiaci vývojový diagram sa skladá zo všetkých stavebných blokov zapojených do vývojového diagramu, ako je počiatočný uzol, koncový uzol a toky / oblúky medzi uzlami. Graf toku riadenia môže znázorňovať, ako rôzne programové jednotky alebo aplikácie spracúvajú informácie medzi rôznymi koncami v kontexte systému.
S grafom riadiaceho toku je spojených mnoho výhod. Môže ľahko zhrnúť informácie za každý základný blok. Ľahko vyhľadá nedosiahnuteľné kódy programu a syntaktické štruktúry, ako sú slučky, sa dajú ľahko nájsť v grafe riadiacich tokov.