Important representation of a program.
Tells you which where execution of an (imperative) program goes.
Base for dead code elimination and other optimizations.

See http://en.wikipedia.org/wiki/Control_flow_graph
----
Try BackLink''''''s