Skip to content

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

License

Notifications You must be signed in to change notification settings

matt-j-griffin/infer

This branch is 745 commits behind facebook/infer:main.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ddc2477 · Aug 23, 2024
Jun 20, 2024
Jun 30, 2022
Feb 28, 2023
Dec 12, 2023
Aug 19, 2024
Aug 23, 2024
Mar 29, 2021
Mar 21, 2024
Jul 31, 2024
Aug 23, 2024
Dec 10, 2016
Sep 10, 2020
Apr 2, 2024
Jul 3, 2024
May 10, 2024
Apr 2, 2019
Sep 8, 2020
Oct 13, 2022
Jun 20, 2024
Aug 4, 2017
Sep 7, 2021
May 28, 2020
Jun 13, 2019
Aug 12, 2024
Jul 17, 2024
Sep 25, 2023
Feb 7, 2019
Sep 23, 2021
Sep 10, 2020
Apr 18, 2023
Jul 17, 2024
Apr 9, 2024

Repository files navigation

logo

Infer build website

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

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • OCaml 70.9%
  • Java 8.8%
  • C++ 7.0%
  • Objective-C 3.5%
  • C 3.1%
  • Makefile 2.4%
  • Other 4.3%