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

为了减少测试与人工代码检查的工作量，软件供应商一般利用静态代码分析工具来进行程序正确性和稳定性的检查。Monoidics就是在2009年成立、专门设计代码分析工具的公司。该公司所开发的Infer...

开源已是大势所趋。不仅Google 公开了自己最重要的秘密之一 ，社交巨头Facebook对开放也一直都是保持开放的态度。比方说它有推进数据中心基础设施建设标准化的Open Compute项目，...