当编译器读入程序时，首先将程序看成是简单的字符序列。词法分析器将这些字符序列转换为单词，语法分析器从中进一步发现语法结构。由编译器前端产生的结果可以是语法树或者某种低级形式的中间代码。但是即使这样，它对程序做什么和怎么做仍然没有多少提示。
编译器把发现每个过程内控制流层次结构的任务留给了控制流分析，将确定与数据有关的全局信息的任务留给了数据流分析。
控制流分析
原文：https://www.cnblogs.com/justwe-nancy/p/11666962.html
