Graf kontroli przepływu to graficzna reprezentacja przepływu kontroli w programie lub aplikacji programowej.

Jest to wizualne przedstawienie, jak instrukcje programu są wykonywane oraz jakie ścieżki mogą być przyjęte w trakcie jego wykonania.

Graf kontroli przepływu pokazuje relacje między różnymi częściami programu, w tym pętlami, instrukcjami warunkowymi i wywołaniami funkcji. W grafie kontroli przepływu każdy węzeł reprezentuje podstawowy blok kodu, który jest sekwencją instrukcji, które są zawsze wykonywane razem.

Krawędzie między węzłami przedstawiają przepływ kontroli między różnymi podstawowymi blokami.

Poprzez analizę grafu kontroli przepływu, programiści mogą uzyskać wgląd w strukturę programu, zidentyfikować potencjalne problemy, takie jak martwy kod lub nieosiągalny kod, oraz optymalizować program w celu lepszej wydajności. Grafy kontroli przepływu są powszechnie używane w rozwijaniu oprogramowania do analizy programów, debugowania i optymalizacji.

Zapewniają one widok na wysokim poziomie przepływu kontroli programu, co ułatwia programistom zrozumienie złożonego kodu i podejmowanie świadomych decyzji o tym, jak poprawić jego wydajność i niezawodność. Ogólnie rzecz biorąc, grafy kontroli przepływu są cennym narzędziem dla programistów, które pozwala wizualizować i analizować przepływ kontroli w ramach programu, pomagając im w pisaniu lepszego kodu i tworzeniu bardziej wydajnych aplikacji programowych.