Kontrollflytgraf

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

Kompilatorer