infer gv impl:将infer gv形式主义实现为Infer Checker 源码

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