Analiza a unui program pentru calculator pentru a identifica toate căile posibile prin programul, pentru a detecta căile incompletă, sau pentru a descoperi porţiuni ale programului, care nu sunt pe orice cale.