Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/facebook/infer
A static analyzer for Java, C, C++, and Objective-C
https://github.com/facebook/infer
c code-quality cpp java objective-c static-analysis static-code-analysis
Last synced: 3 days ago
JSON representation
A static analyzer for Java, C, C++, and Objective-C
- Host: GitHub
- URL: https://github.com/facebook/infer
- Owner: facebook
- License: mit
- Created: 2015-01-26T11:19:13.000Z (almost 10 years ago)
- Default Branch: main
- Last Pushed: 2024-12-06T18:13:06.000Z (5 days ago)
- Last Synced: 2024-12-06T20:13:38.688Z (5 days ago)
- Topics: c, code-quality, cpp, java, objective-c, static-analysis, static-code-analysis
- Language: OCaml
- Homepage: http://fbinfer.com/
- Size: 187 MB
- Stars: 15,015
- Watchers: 602
- Forks: 2,020
- Open Issues: 429
-
Metadata Files:
- Readme: README.md
- Changelog: Changelog.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
- awesome-ios - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
- awesome-cpp - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
- awesome-java - Infer - Modern static analysis tool for verifying the correctness of code. (Projects / Code Analysis)
- awesome-ocaml - Infer - Infer is a static analyzer for Java, C and Objective-C (Code Analysis and Linters)
- CoreML-Guide - Infer - C, and C. (Objective-C Tools, Libraries, and Frameworks)
- macOS-iOS-iPadOS-Guide - Infer - C, and C. (Objective-C Development / Objective-C Tools, Libraries, and Frameworks)
- Xcode-Guide - Infer - C, and C. (Objective-C Tools, Libraries, and Frameworks)
- Developer-Handbook - Infer - C, and C. (Tools / Mesh networks)
- awesome-mobile-security - Infer – A Static Analysis tool for Java, C, C++ and Objective-C
- awesome-cpp-cn - Infer - C的静态分析器。 (排序 / 静态代码分析)
- awesome - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
- fucking-awesome-cpp - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
- awesome-llvm - Infer - Facebook's static analysis framework; C/C++/objc is based on LLVM/Clang (Starchart)
- awesome-performance - Infer
- awesome-ccamel - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
- awesome-cpp - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
- awesome-ios-star - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
- StarryDivineSky - facebook/infer - C 的静态分析器 (C/C++ 程序设计 / 网络服务_其他)
- awesome-java - Infer - Modern static analysis tool for verifying the correctness of code. (Projects / Code Analysis)
- Metal-Guide - Infer - C, and C. (Objective-C Tools, Libraries, and Frameworks)
- awesome-java-zh - Infer - 现代静态分析工具,用于验证代码的正确性。 (项目 / 代码分析)
- awesome-harmony - Infer - 用于 Java,C,C ++和 Objective-C 的静态分析器 (DevEco 插件 / 免费版)
README
# Infer ![build](https://github.com/facebook/infer/actions/workflows/install.yml/badge.svg) ![website](https://github.com/facebook/infer/actions/workflows/deploy.yml/badge.svg)
[Infer](http://fbinfer.com/) is a static analysis tool for Java,
C++, Objective-C, and C. Infer is written in [OCaml](https://ocaml.org/).## Installation
Read our [Getting
Started](http://fbinfer.com/docs/getting-started) page for
details on how to install packaged versions of Infer. To build Infer
from source, see [INSTALL.md](./INSTALL.md).## Contributing
See [CONTRIBUTING.md](./CONTRIBUTING.md).
## License
Infer is MIT-licensed.
Note: Enabling Java support may require you to download and install
components licensed under the GPL.