Análise de um programa de computador para identificar todos os possíveis caminhos através do programa, para detectar caminhos incompletos, ou para descobrir partes do programa que não estão em qualquer caminho.