Innholdsfortegnelse:
Definisjon - Hva betyr Control Flow Graph (CFG)?
I informatikk er en kontrollflytgraf (CFG) den grafiske representasjonen av kontrollstrømmen eller beregningen under utførelsen av programmer eller applikasjoner. Kontrollflytdiagrammer brukes mest i statisk analyse så vel som kompilatorapplikasjoner, da de nøyaktig kan representere strømmen inne i en programenhet.
Kontrollflytgrafen skylder mye av utviklingen til Frances E. Allen.
Techopedia forklarer Control Flow Graph (CFG)
En kontrollflytgrafikk er prosessorientert og kan vise alle stier som kan krysses under en programutførelse. En kontrollflytgraf kan også betraktes som en rettet graf der kanter skildrer kontrollstrømningsveier og nodene skildrer grunnleggende blokker, som er rette linjesegmenter uten hopp eller forgrening.
I en kontrollstrømningsgraf eksisterer det to spesielt utpekte blokker: inn- og utkjøringsblokker. Inngangsblokken lar kontrollen komme inn i kontrollflytgrafen, mens kontrollstrømmen går gjennom avkjøringsblokken. Med andre ord består kontrollflytgrafen av alle byggesteinene som er involvert i et flytskjema som startnode, sluttknute og strømmer / buer mellom nodene. En kontrollflytgrafikk kan skildre hvordan forskjellige programenheter eller applikasjoner behandler informasjon mellom forskjellige ender i sammenheng med systemet.
Det er mange fordeler forbundet med en kontrollflytgraf. Det kan enkelt oppsummere informasjonen per hver enkelt blokkering. Det kan enkelt finne unrakable koder for et program, og syntaktiske strukturer som looper er enkle å finne i en kontrollflytgraf.
