程序bug太多，可以用非死book的開源AI工具

非死book 曾經的格言是“快速行動，打破常規”，但隨著公司越來越大，代碼越來越多，這話可能得變成“快速行動，找出 bug”了。為此 非死book，開發了智能工具 Infer，它能自動找出移動應用中的漏洞。

現在，這一工具被開源了。非死book 在近日宣布任何人都能用 Infer 來調試自己的應用了。據介紹，它能像人類一樣查看代碼，并作出一些推測。但它的優勢是，數分鐘就能看完上千行代碼。非死book 已經用它修復了八成的漏洞。

多數的調試器都會先運行程序，然后逐行檢測代碼，但 Infer 能在不執行程序的情況下分析代碼，這一過程被稱為“靜態程序分析”。

靜態分析已經有數十年之久，也有了相應的商業和開源工具，不過它們無法像 Infer 那樣做大規模的深度分析。Infer 能將代碼分解，小范圍分析后再將結果整合在一起，兼顧分析的深度和速度。

其實 Infer 也屬于人工智能的一種，不過它更接近于符號人工智能(symbolic AI)分支，而不是我們所熟知的神經網絡技術。

Infer 技術最初來自初創公司 Monoidics，后來該公司被 非死book 收購。