Control Flow Graph


## CFG
A graph representing possible execution flows of a function
- nodes: basic blocks (BB)
> A maximal-length segment of straight-line code, where eitherall the statements are executed, or none of them are executed.
- edges: control flows

[Extended basic block (EBB)](https://texonom.com/extended-basic-block-ebb-9821e3f65ae443cfbbc987b2179faa37)










