如果你保持對技術問題的持續關注（我假定你是這樣的，如果你正在讀這篇博客的話），你可能聽到Facebook開放了一個新的工具：Infer。因為它來自Facebook，大家自然都比較好奇，所以我很想...

今天，我們開源了一個名叫Facebook Infer的 靜態程序分析庫，該庫用于在程序分發之前定位代碼bug。靜態分析器是一個不需要運行代碼就可以準確地找出代碼bug的自動化工具。它是傳統的動態...

Facebook 的 Infer 是一個靜態分析工具。Infer 可以分析 Objective-C， Java 或者 C 代碼，報告潛在的問題。

Infer 是 Facebook 最新開源的靜態程序分析工具，用于在發布移動應用之前對代碼進行分析，找出潛在的問題。目前 Facebook 使用該工具來分析 Facebook 的 App，包括 ...