A Control Flow Graph (CFG) is a representation of a program where the code is broken up into blocks that branch to one another, representing all possible paths that might be traversed through a program during its execution.
In the Go compiler, converting the program to Static Single Assignment (SSA) form makes it easy to represent the program as a CFG.
