CFGA graph representing possible execution flows of a functionnodes: basic blocks (BB)A maximal-length segment of straight-line code, where either all the statements are executed, or none of them are executed.edges: control flowsExtended basic block (EBB)