Seonglae ChoCFG
A graph representing possible execution flows of a function
A graphical representation of all possible execution paths that a program can traverse during execution
- nodes: 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 flows