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: 7 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-24T10:49:04.000Z (20 days ago)
• Last Synced: 2024-12-30T10:18:18.540Z (14 days ago)
• Topics: c, code-quality, cpp, java, objective-c, static-analysis, static-code-analysis
• Language: OCaml
• Homepage: http://fbinfer.com/
• Size: 189 MB
• Stars: 15,038
• Watchers: 601
• Forks: 2,023
• 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.