控制流與數據流，信息流

控制流相關概念：程序元素、控制流關系、控制流圖、控制流矩陣。

 控制流分析能發現的問題：轉向並不存在的標號；沒有用的語句標號；從程序

入口進入后無法達到的語句；不能達到停機語句的

語句。

 數據流相關概念：數據的定義；數據的引用。

 數據流分析的左右：分析代碼中關於數據定義和引用方面的錯誤；進行代碼優

化。（賦值語句運算效率高）

 信息流分析：輸入變量和語句關系；語句和輸出變量關系；輸入和輸出變量管

 理。