control-flow graph
A map of a function's basic blocks with an arrow for every way control can pass between them.
A control-flow graph has one node per basic block and a directed edge for each possible transfer of control (fall-through or branch) between blocks.
See also