為了幫程序員解決 bug 問題，F(xiàn)acebook可算是操碎了心！

你可以這么想，如果在開發(fā)和測(cè)試階段沒有發(fā)現(xiàn) bug 問題，那么 bug 將會(huì)隨著產(chǎn)品發(fā)布，在生產(chǎn)環(huán)節(jié)觸發(fā)，其后果將視情況而定。

不久前，一支來自 Facebook 的工程團(tuán)隊(duì)斬獲了 ACM SIGPLAN POPL 最具影響力論文獎(jiǎng)，這是機(jī)器學(xué)習(xí)研究社區(qū)最受關(guān)注的獎(jiǎng)項(xiàng)之一。其獲獎(jiǎng)?wù)撐臑椤癈ompositional Shape Analysis by Means of Bi-abduction”，介紹了一款利用機(jī)器學(xué)習(xí)調(diào)試 bug 的工具“Project Infer”背后的科學(xué)原理。

為了“安利”這款工具，一位名叫Jesus Rodriguez 的程序員特意撰文詳解了 Infer 的工作流程和科學(xué)原理。

文中指出，Infer 基于兩種新的數(shù)學(xué)技術(shù)：分離邏輯（separation logic）和雙向假說推理（bi-abduction）。

傳送鏈接：https://towardsdatascience.com/machine-learning-for-detecting-code-bugs-a79f37f144b7

據(jù)悉，Infer 是 Facebook 旗下一款開源的靜態(tài)分析工具，其前身來自被 Facebook 收購(gòu)后的Monoidics。官網(wǎng)介紹，Infer 可以分析 Objective-C，Java 或 C 語(yǔ)言代碼，報(bào)告潛在的問題。

截止目前，Infer 已在 GitHub 上獲得 9300+ Star，并被 AWS、Spotify、Uber 等公司采用。

GitHub 鏈接：https://github.com/facebook/infer

實(shí)際上，此前AI科技大本營(yíng)（ID：rgznai100）就曾報(bào)道過類似的 bug 檢查工具，如 Google 剛剛開源的自動(dòng)化檢測(cè)工具ClusterFuzz，印度小哥Gaurav Arora 開發(fā)的代碼測(cè)試工具code-with-ai，以及一鍵代碼修復(fù)神器 The fuck。

值得一提的是，從發(fā)現(xiàn) bug 到修復(fù) bug，F(xiàn)acebook 有一套完整的流程。Facebook 去年新推的工具 SapFix，以及已投入大規(guī)模使用的Sapienz，都是與 Infer 相輔相成的：

首先，靜態(tài)分析工具 Infer，會(huì)幫助定位代碼中需要修補(bǔ)的點(diǎn)；一旦 Sapienz 和 Infer 精確定位與崩潰相關(guān)的特定代碼部分之后，就會(huì)將該信息傳遞給 SapFix；最后，SapFix 會(huì)參考幾種不同的策略，自動(dòng)生成補(bǔ)丁。

Infer 主要應(yīng)用基于 Android 和 iOS 的移動(dòng)應(yīng)用程序發(fā)布之前，檢測(cè)其代碼中的 bug。

溫馨提示：程序員們可能習(xí)慣了熬夜敲代碼，但有人就總結(jié)過：不提倡加班寫代碼，那樣會(huì)導(dǎo)致 bug 率直線上升。