Vezérlési Folyam Elemzés

Statikus elemzés, amely a végrehajtás során fellépő események (útvonalak) sorrendjének megjelenítésével foglalkozik. A vezérlési folyam analízis kiértékeli a vezérlési folyam strukturák integritását, olyan vezérlési folyam rendellenességeket keres, mint pl. a zárt hurkok, vagy a logikailag elérhetetlen folyamatlépések.