Analýza počítačového programu identifikovat všechny možné cesty prostřednictvím programu, ke zjištění neúplná cestami, nebo odhalit části programu, které nejsou na nějaké cestě.