控制流圖是什麼

程序執行流程的圖形表示

控制流圖(Control Flow Graph, CFG)是程序執行流程的圖形表示。

控制流圖是一箇抽象數據結構，用於表示程序執行過程中可能遍歷的所有路徑，它通常由編譯器在內部維護，節點代表程序的基本塊（例如一段連續的代碼），而邊代表控制流的方向，即代碼的執行路徑。控制流圖具有唯一入口節點和唯一出口節點，分別表示程序的開始和結束。此外，控制流圖可以簡化程序流程圖的複雜性，更突出地展示程序的控制流結構。