Control-flow analysis

graphical representation of a computer program or algorithm

compiler technique

binary relation over nodes in a control-flow graph