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: about 1 month 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 (over 9 years ago)
Default Branch: main
Last Pushed: 2024-05-01T17:12:09.000Z (about 1 month ago)
Last Synced: 2024-05-02T02:13:39.443Z (about 1 month ago)
Topics: c, code-quality, cpp, java, objective-c, static-analysis, static-code-analysis
Language: OCaml
Homepage: http://fbinfer.com/
Size: 176 MB
Stars: 14,710
Watchers: 605
Forks: 1,998
Open Issues: 411
Metadata Files:
- Readme: README.md
- Changelog: Changelog.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md

Lists

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-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-stars - facebook/infer - C (Ocaml)
awesome-cpp-cn - Infer - C的静态分析器。 (排序 / 静态代码分析)
awesome-stars - infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
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-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-llvm - Infer - Facebook's static analysis framework; C/C++/objc is based on LLVM/Clang (Starchart)
awesome-from-stars - facebook/infer - C (HarmonyOS / Windows Manager)
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-java - Infer - Modern static analysis tool for verifying the correctness of code. (Projects / Code Analysis)
awesome-java - Infer - Modern static analysis tool for verifying the correctness of code. (Projects / Code Analysis)
awesome-mobile-security - Infer – A Static Analysis tool for Java, C, C++ and Objective-C
awesome-cpp - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
awesome-cpp-completed - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
awesome-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-mobile-security - Infer – A Static Analysis tool for Java, C, C++ and Objective-C
awesome-stars - 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-ios2 - infer - A static analyzer for Java, C and Objective-C. (WebSocket / Other free courses)
awesome-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-ios - infer - A static analyzer for Java, C and Objective-C. (WebSocket / Other free courses)
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)
awesome - infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-stars - infer - A static analyzer for Java, C and Objective-C (OCaml)
awesome-stars - infer - C | facebook | 12642 | (OCaml)
awesome-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-stars - facebook/infer - A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-stars - 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-cpp - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
awesome-ios - infer - A static analyzer for Java, C and Objective-C. (WebSocket / Other free courses)
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-cpp - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
awesome-xamarin-forms - infer - A static analyzer for Java, C and Objective-C. (WebSocket)
awesome-cpp-completed - Infer - A static analyzer for Java, C and Objective-C. [BSD] (Static Code Analysis)
awesome-ios - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
mbc-awesome-stars - infer - A static analyzer for Java, C and Objective-C (OCaml)
Metal-Guide - Infer - C, and C. (Objective-C Tools, Libraries, and Frameworks)
awesome-java - Infer - Modern static analysis tool for verifying the correctness of code. (Projects / Code Analysis)
awesome-java - Infer - Modern static analysis tool for verifying the correctness of code. (Projects / Code Analysis)
awesome-ios - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
awesome-ios - infer - A static analyzer for Java, C and Objective-C. (WebSocket / Other free courses)
awesome-iosx - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
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-iosr - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
learn.awesome-iOS - infer - A static analyzer for Java, C and Objective-C. (WebSocket)
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. (Code Analysis)
awesome-ios - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
learn.awesome.ios - infer - A static analyzer for Java, C and Objective-C. (Tools / Web View)
awesome-stars - facebook/infer - `★14757` A static analyzer for Java, C, C++, and Objective-C (OCaml)
awesome-java-zh - Infer - 现代静态分析工具，用于验证代码的正确性。 (项目 / 代码分析)

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.