The Wayback Machine - https://web.archive.org/web/20210816200008/https://github.com/facebook/infer

facebook / infer

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

fbinfer.com/

12.5k stars 1.7k forks

jvillard and facebook-github-bot [ocamlformat] upgrade to 0.19.0-24

[ocamlformat] upgrade to 0.19.0-24

Summary:
- switch to the latest public version of ocamlformat + some patches to
  fix formatting issues
- install ocamlformat as part of `make devsetup`

Reviewed By: jberdine

Differential Revision: D30160822

fbshipit-source-id: 58fc5b8d0

859d69c

9,933 commits

Failed to load latest commit information.

README.md

Infer

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

About

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

fbinfer.com/

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

Releases 32

Infer version v1.1.0 Latest

Packages

No packages published

Contributors 163

+ 152 contributors

Languages