英特爾本月推出了機器編程研究系統(tǒng) ControlFlag，可以自主檢測代碼中的錯誤，目前仍處于早期階段。

在初步測試中，ControlFlag 利用超過 10 億行未標記的產(chǎn)品級別的代碼進行了訓(xùn)練并學習了新的缺陷。

英特爾首席科學家 Justin Gottschlich 表示：“ControlFlag 是一個強大的新工具，可以大幅減少評估和 Debug 代碼所需的時間和成本。”

英特爾表示，在IT行業(yè)每年花費的 1.25 萬億美元軟件開發(fā)成本中，大約有 50% 是用于 Debug 代碼。

據(jù)悉，ControlFlag 檢測 Bug 的功能是通過機器編程實現(xiàn)的，其中融合了機器學習、形式化方法、編程語言、編譯器和計算機系統(tǒng)。

IT之家了解到，英特爾甚至已經(jīng)開始評估在內(nèi)部使用 ControlFlag，在自己的軟件和固件產(chǎn)品化中尋找 Bug。這是英特爾 Rapid Analysis for Developers 項目的關(guān)鍵組成部分。

關(guān)鍵詞：