the structure of the program,
starts and ends of program segments,
unreachable code and dynamic halts,
branches from within loops,
entry and exit points for loops,
paths through the program.
See also static analysis.
"control-flow graph." A Dictionary of Computing. . Encyclopedia.com. (August 16, 2018). http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/control-flow-graph
"control-flow graph." A Dictionary of Computing. . Retrieved August 16, 2018 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/control-flow-graph