《红色沙漠》IGN最终评分仍为6分 反转未能实现

抽象釋義、控制 控制流分析一詞最早是流分由Neil D. Jones及Olin Shivers開始使用。不一定可以會程式中直接看出函數呼叫的控制目標，對於函數程式語言及物件導向程式設計，流分

控制流分析（）簡稱CFA，控制例如以下的流分程式片段 (lambda (f) (f x)) 根據上述程式無法確認程序f是指什麼，控制流程會以控制流圖來表示。控制CFA都是流分指計算控制流程的演算法。 相關條目 控制流程圖（CFD） 資料流分析 參考資料 外部連結 for textbook intraprocedural CFA in imperative languages CFA in functional programs (survey) for the relationship between CFA analysis in functional languages and 控制points-to analysis in imperative/OOP languages 程序分析是流分一種確認程式控制流程的靜態代碼分析技術。 對於像是控制Scheme之類有高階函數的程式語言，此情形下的流分控制流分析需考慮何時會執行此程式碼，及當時的控制傳入值。約束滿足及型別系統都可以用來進行控制流分析。流分