Análise De Fluxo De Controlo

Um tipo de análise estática com base numa representação de caminhos únicos para a execução de um componente ou sistema.