Análise do fluxo de controle
Inglês:
Control flow analysis
Forma de análise estática com base em uma representação de caminhos únicos (sequência de eventos) na execução através de um componente ou sistema. A análise de fluxo de controle avalia a integridade das
estruturas de controle de fluxo, procurando controlar possíveis anomalias, tais como loops ou etapas do processo logicamente inacessíveis.