控制流与数据流，信息流

控制流相关概念：程序元素、控制流关系、控制流图、控制流矩阵。

 控制流分析能发现的问题：转向并不存在的标号；没有用的语句标号；从程序

入口进入后无法达到的语句；不能达到停机语句的

语句。

 数据流相关概念：数据的定义；数据的引用。

 数据流分析的左右：分析代码中关于数据定义和引用方面的错误；进行代码优

化。（赋值语句运算效率高）

 信息流分析：输入变量和语句关系；语句和输出变量关系；输入和输出变量管

 理。