控制流圖

控制流圖 （ control - flow graph ） 簡稱CFG ， 是計算機科學中的表示法 ， 利用數學中圖的表示方式 ， 標示計算機程序過程中所經過的所有路徑 。 控制流圖是由法蘭 · 艾倫所建立 ， 他提出曾利用鄰接矩陣用在流分析上 。 CFG是許多及靜態程序分析工具中的核心技術 。