Índice:
Definição - O que significa Control Flow Graph (CFG)?
Na ciência da computação, um gráfico de fluxo de controle (CFG) é a representação gráfica do fluxo ou computação de controle durante a execução de programas ou aplicativos. Os gráficos de fluxo de controle são usados principalmente em análises estáticas e em aplicativos de compilador, pois podem representar com precisão o fluxo dentro de uma unidade de programa.
O gráfico de fluxo de controle deve muito de seu desenvolvimento a Frances E. Allen.
Techopedia explica o Control Flow Graph (CFG)
Um gráfico de fluxo de controle é orientado ao processo e pode mostrar todos os caminhos que podem ser percorridos durante a execução do programa. Um gráfico de fluxo de controle também pode ser considerado como um gráfico direcionado no qual as arestas representam os caminhos de fluxo de controle e os nós representam os blocos básicos, que são segmentos de linha reta sem saltos ou ramificações.
Em um gráfico de fluxo de controle, existem dois blocos especialmente designados: blocos de entrada e saída. O bloco de entrada permite que o controle entre no gráfico de fluxo de controle, enquanto o fluxo de controle sai através do bloco de saída. Em outras palavras, o gráfico de fluxo de controle é composto por todos os componentes envolvidos em um diagrama de fluxo, como o nó inicial, final e os fluxos / arcos entre os nós. Um gráfico de fluxo de controle pode representar como diferentes unidades de programa ou aplicativos processam informações entre diferentes fins no contexto do sistema.
Há muitas vantagens associadas a um gráfico de fluxo de controle. Ele pode resumir facilmente as informações de cada bloco básico. Ele pode localizar facilmente códigos inacessíveis de um programa, e estruturas sintáticas como loops são fáceis de encontrar em um gráfico de fluxo de controle.
