facebook/infer

GitHub: facebook/infer

Facebook开源的静态代码分析工具,采用分离逻辑技术检测Java、C/C++和Objective-C程序中的内存泄漏、空指针引用等深层缺陷。

Stars: 15532 | Forks: 2071

logo # Infer ![build](https://static.pigsec.cn/wp-content/uploads/repos/2026/03/6d336ae933224730.svg) ![website](https://static.pigsec.cn/wp-content/uploads/repos/2026/03/b13a9ad230224731.svg) [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安全扫描, 云安全监控, 口令爆破, 可配置连接, 安全专业人员, 开源项目, 数据擦除, 漏洞数据库, 盲注攻击, 程序分析, 编译器技术, 软件安全, 静态代码分析器, 静态分析