Kontrollflödesgraf
Ett kontrollflödesgraf (CFG) är en riktad graf som används inom programanalys och kompilatordesign för att representera ett programs kontrollflöde. I ett CFG motsvarar noderna basic blocks – sammanhängande sekvenser av instruktioner med en enda ingång och en enda utgång. Kant mellan noderna anger vilka block som kan följas i följd vid körning.
Grafen byggs genom att dela upp koden i basic blocks och lägga till en startnod och en
Användningsområden: CFG används i statisk analys, optimeringar i kompilatorer, programverifiering och testgenerering. Genom att analysera vilka
Variationer och begränsningar: CFG kan vara funktionellt på funktionsnivå eller interprocedurellt när grafen omfattar flera funktioner.