Control Flow Graph (CFG)

A control-flow graph (CFG) is a representation, using graph notation, of all paths that might be traversed through a program during its execution