如果你保持对技术问题的持续关注（我假定你是这样的，如果你正在读这篇博客的话），你可能听到Facebook开放了一个新的工具：Infer。因为它来自Facebook，大家自然都比较好奇，所以我很想...

今天，我们开源了一个名叫Facebook Infer的 静态程序分析库，该库用于在程序分发之前定位代码bug。静态分析器是一个不需要运行代码就可以准确地找出代码bug的自动化工具。它是传统的动态...

Facebook 的 Infer 是一个静态分析工具。Infer 可以分析 Objective-C， Java 或者 C 代码，报告潜在的问题。

Infer 是 Facebook 最新开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前 Facebook 使用该工具来分析 Facebook 的 App，包括 ...