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 BackLinks