控制流程圖（英文：control-flow graph，CFG）係電腦科學上用嚟表達控制流程嘅圖表。一幅控制流程圖會用一個個節點（node），每個節點代表一段直線執行嘅碼，而節點之間會有箭咀嘅線代表嗰個位有可能會跳去箭咀指住嘅位。控制流程圖喺電腦科學上成日俾人喺做編程上嘅研究嗰陣攞嚟清楚噉表達一個電腦程式[1][2]。
一啲 CFG 嘅例子：
(a) If-then-else
(b) while loop
(c) 有兩個出口嘅 natural loop
(d) 一個有兩個入口一個出口嘅 loop
- ↑ Shivers, O. (1988, June). Control flow analysis in scheme. In ACM SIGPLAN Notices (Vol. 23, No. 7, pp. 164-174). ACM.
- ↑ Frances E. Allen (July 1970). "Control flow analysis". SIGPLAN Notices. 5 (7): 1–19.
