控制流与数据流，信息流

控制流相关概念：程序元素、控制流关系、控制流图、控制流矩阵。
控制流分析能发现的问题：转向并不存在的标号；没有用的语句标号；从程序
入口进入后无法达到的语句；不能达到停机语句的
语句。
数据流相关概念：数据的定义；数据的引用。
数据流分析的左右：分析代码中关于数据定义和引用方面的错误；进行代码优
化。（赋值语句运算效率高）
信息流分析：输入变量和语句关系；语句和输出变量关系；输入和输出变量管
理。