A vezérlési folyamatelemzés statikus kódelemzés a program végrehajtásának sorrendjének meghatározására . A végrehajtás sorrendjét vezérlőfolyamat-grafikonként fejezzük ki .
Számos nyelv esetében a vezérlőfolyamat grafikonja jól látható a program forráskódjában. Ennek eredményeként a vezérlési folyamatelemzés általában statikus kódelemzésre utal. Az elemzés során meghatározzák a magas szintű nyelveken írt programok által meghívott függvények és módszerek vevőit . Mind a funkcionális programozási nyelvek , mind az objektumorientált programozási nyelvek esetében a "vezérlési folyamatelemzés" kifejezés olyan algoritmust jelent, amely vezérlőfolyamat-grafikont hoz létre .
A control flow elemzés kifejezést először Neil D. Jones [1] és Olin Shivers [2] használta .
Az irányítási folyamat elemzéséhez használhatók: Absztrakt értelmezés , Kényszerelégedettség , Adattipizálás .