facebook/infer
GitHub: facebook/infer
Facebook开源的静态代码分析工具,采用分离逻辑技术检测Java、C/C++和Objective-C程序中的内存泄漏、空指针引用等深层缺陷。
Stars: 15532 | Forks: 2071
# Infer  
[Infer](http://fbinfer.com/) 是一款针对 Java、C++、Objective-C 和 C 的静态分析工具。Infer 使用 [OCaml](https://ocaml.org/) 编写。
## 安装
请阅读我们的[入门](http://fbinfer.com/docs/getting-started)页面,了解如何安装 Infer 的打包版本。若要从源码构建 Infer,请参阅 [INSTALL.md](./INSTALL.md)。
## 贡献
请参阅 [CONTRIBUTING.md](./CONTRIBUTING.md)。
## 许可证
Infer 基于 MIT 许可证授权。
注意:启用 Java 支持可能需要您下载并安装基于 GPL 许可的组件。标签:C++, CVE监控, DNS解析, Facebook, Infer, JS文件枚举, MS17-010, Objective-C, OCaml, SAST, TLS抓取, Web安全扫描, Web安全扫描, 云安全监控, 口令爆破, 可配置连接, 安全专业人员, 开源项目, 数据擦除, 漏洞数据库, 盲注攻击, 程序分析, 编译器技术, 软件安全, 静态代码分析器, 静态分析