Infer：Facebook开源代码静态分析工具

该工具用 OCaml 开发，主要用来对Java、Objective-C和C语言进行代码静态分析。

36Kr也做这个项目写了篇报道，这里摘录几句：

Infer的联合开发者Peter O’Hearn称，Infer可以将大型代码分而治之，切割成小段代码，然后再将分析结果整合起来。这属于符号化人工智能（有别于更接近人思维模式的神经网络AI）的一种，据称其代码修复率可达80%。 Infer源自O’Hearn和他的学生Cristiano Calcagno及助教Dino Distefano的研究成果。三人创办了一家初创企业Monoidics，原本打算做成商业化产品。但是后来Facebook收购了这家公司并作出了Infer。他们意识到在这里可以产生更大的影响，最终让Facebook把这种工具开源了。

GitHub源码地址：https://github.com/facebook/infer

项目官网：http://www.fbinfer.com/

【预告】中国人工智能大会（CCAI 2015）将于7月26-27日在北京友谊宾馆召开。机器学习与模式识别、大数据的机遇与挑战、人工智能与认知科学、智能机器人四个主题专家云集。人工智能产品库将同步上线，预约咨询：QQ：1192936057。欢迎关注。

大会官网：http://ccai2015.csdn.net/