用于Java，C，C ++和Objective-C的静态分析器-C/C++开发

Infer Infer是用于Java，C ++，Objective-C和C的静态分析工具。Infer用OCaml编写。 安装请阅读我们的入门页面，以获取有关如何安装Infer打包版本的详细信息。 构建Infer Infer Infer是用于Java，C ++，Objective-C和C的静态分析工具。Infer用OCaml编写。 安装请阅读我们的入门页面，以获取有关如何安装Infer打包版本的详细信息。 要从源代码构建推断，请参阅INSTALL.md。 贡献见CONTRIBUTING.md。 许可证推断是MIT许可的。 注意：启用Java支持可能需要您下载并安装GPL许可的组件。