====== Folyamatábra (Control flow graph) ======


Rövidítve CFG a számítástechnikában használatos ábrázolási forma. Végrehajtási gráfként lehetne legpontosabban fordítani, hiszen az ábra egyes csomóponjaiban blokkok helyezkednek el, s az élek a blokkok végrehajtása után követhető irányt, irányokat jelölik ki. Két kitüntetett blokk van, a belépési blokk (entry block) és a kilépési blokk (exit block).

A végrehajtási gráf segítségével nagyon jól detektálhatóak a kód egyes hibái. Például, ha a gráf egy részgráfjában a belépési blokkból nem érhető el a kilépési blokk, elérhetetlenségi tulajdonságról beszélünk. Ugyanakkor a CFG tanulmányozásával az - esetlegesen a programozó szándékától függetlenül létrejövő - végtelen hurkok is könnyedén felfedezhetőek.

belépési blokk (entry block)
    Az a blokk, amin keresztül beléphetünk a gráfba

Kilépési blokk (exit block)
    Az a blokk, amin keresztül kiléphetünk a gráfból

Hátsó él (back edge)
    Egy blokk ősére mutató él mélységi keresésnél (DFS)

Kritikus él (critical edge)
    Minden olyan él, amely nem hagyja el a forrás blokkját vagy lép be a célblokkjába. Új blokkok illeszthetőek be hasítás (új blokk létrehozása az él közepén) segítségével.

Abnormális él (abnormal edge)
    Az ismeretlen célú élek elnevezése. Gátolhatják az optimalizálást

Lehetetlen él (impossible edge; fake edge)