general/control-flow-analysis
Surf Wiki
Dominator (graph theory)
When every path in a control-flow graph must go through one node to reach another
Control-flow analysis
Compiler technique