【文件属性】:
文件名称:infer-gv-impl:将infer-gv形式主义实现为Infer Checker
文件大小:26.62MB
文件格式:ZIP
更新时间:2021-02-20 09:58:05
OCaml
推断
是用于Java,C ++,Objective-C和C的静态分析工具。Infer用编写。
安装
阅读我们的页面,以有关如何安装Infer打包版本的详细信息。 要从源代码构建推断,请参阅 。
贡献
参见 。
执照
推断是MIT许可的。
注意:启用Java支持可能需要您下载并安装GPL许可的组件。