流圖的分類與識別

源代碼的結構在編譯器中往往會在某個環節被轉換成CFG，不同的控制語句會生成形形色色的控制流結構，而在後端轉換的過程中又會生成許多前端語法無法描述的結構出來，在控制流分析的過程中需要去識別這些結構。這篇文章簡單的介紹一些基本結構。 1，基本塊（basic block）。基本塊是一個執行時連續的語句序列，往往最後會跟一個終結語句，比如跳轉，條件跳轉或者返回，除了最後一個語句外沒有任何的分支或跳轉命令。

>>阅读原文<<