thumb|Eksempler:(a) if-then-else(b) en while loop(c) en naturlig løkke med to utganger, e.g. while med en if...break i midten; ikke-strukturert men reduserbar(d) en ikke-reduserbar kontrollflytgraf: en løkke med to inngangspunkter, dvs en goto inne i en while eller for-løkke En kontrollflytgraf er en avbilning innenfor informatikk, hvor det benyttes en graf hvor alle stier kan traverseres gjennom et dataprogram under dets eksekvering. Kontrollflytgrafen ble første gang tatt i bruk av Frances E. Allen, som merket seg at Reese Prosser tidligere benyttet nabomatriser for å fremstille flytanalyse.
Kontrollflytgrafer er sentrale for mange optimaliserende kompilatorer og verktøy for statisk programanalyse.
Referanser
Kategori:Kompilatorer