A Control Flow Graph (CFG), is a program description that shows the possible paths through a program as a graph (usually with nodes being basic blocks). An edge between nodes in a control flow graph is some kind of jump, for example a goto
, a conditional jump, a table switch, or just a fallthrough.
See also Basic block.