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