Análise Do Fluxo De Controle

Uma forma de análise estática baseada em um gráfico de fluxo de controle.