![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/3/30/Some_types_of_control_flow_graphs.svg/langzh-tw-640px-Some_types_of_control_flow_graphs.svg.png&w=640&q=50)
控制流圖
維基百科,自由的 encyclopedia
控制流圖(control-flow graph)簡稱CFG,是計算機科學中的表示法,利用數學中圖的表示方式,標示電腦程式執行(英語:execution (computing))過程中所經過的所有路徑。控制流圖是由法蘭·艾倫所建立[1],他提出Reese T. Prosser(英語:Reese Prosser)曾利用鄰接矩陣用在流分析上[2]。
此條目需要補充更多來源。 (2020年9月) |
![]() | 此條目具有many bad/unclear definitions and dubious claims.的問題,需要精通或熟悉計算機科學的編者參與及協助編輯。 (2020年9月) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/30/Some_types_of_control_flow_graphs.svg/220px-Some_types_of_control_flow_graphs.svg.png)
(a)if-then-else
(b)while迴圈
(c)有二個離開點的自然迴圈,例如:在中間有break指令的while迴圈,非結構化,但是reducible
(d)irreducible的CFG:有二個進入點的迴圈,例如用goto進入for迴圈或while迴圈內