Analýza řídicího toku je statická analýza kódu k určení pořadí, ve kterém je program vykonáván . Pořadí provádění je vyjádřeno jako řídicí tokový graf .
U mnoha jazyků je graf toku řízení jasně viditelný ve zdrojovém kódu programu. V důsledku toho se analýza toku řízení obvykle týká analýzy statického kódu. Během analýzy jsou určeny přijímače funkcí a metod volaných programy napsanými v jazycích vyšší úrovně . Jak pro funkcionální programovací jazyky , tak pro objektově orientované programovací jazyky, termín "Analýza toku řízení" znamená algoritmus, který generuje graf toku řízení .
Termín analýza kontrolního toku poprvé použili Neil D. Jones [ 1] a Olin Shivers [2] .
Pro analýzu toku řízení lze použít: Interpretace abstraktu , Spokojenost s omezením , Typování dat .