Análise De Fluxo De Controle

Uma forma de análise estática baseada em uma representação de caminhos únicos (sequências de eventos) na execução através de um componente ou sistema. A análise controle de fluxo avalia a integridade das estruturas, procurando possíveis anomalias, como loops fechados ou etapas do processo logicamente inacessíveis.