# facebook/infer

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/facebook-infer).**

15,646 stars · 2,093 forks · OCaml · MIT

## Links

- GitHub: https://github.com/facebook/infer
- Homepage: http://fbinfer.com/
- awesome-repositories: https://awesome-repositories.com/repository/facebook-infer.md

## Topics

`c` `code-quality` `cpp` `java` `objective-c` `static-analysis` `static-code-analysis`

## Description

A static analyzer for Java, C, C++, and Objective-C

## Tags

### Part of an Awesome List

- [Code Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/code-analysis.md) — Static analysis tool for verifying code correctness.
- [Code Analysis and Linters](https://awesome-repositories.com/f/awesome-lists/devtools/code-analysis-and-linters.md) — Static analyzer for detecting bugs in C and Java.
- [Static Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/static-analysis.md) — Static analyzer for Java, C, and Objective-C.