GitHub - cldrn/infer: A static analyzer for Java, C and Objective-C

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

/ infer Public

forked from facebook/infer

A static analyzer for Java, C and Objective-C

License

View license

1 star 2.1k forks Branches Tags Activity

Notifications You must be signed in to change notification settings

Repository files navigation

Infer

Infer is a static analysis tool for Java, Objective-C and C, written in OCaml. Check out the documentation at http://fbinfer.com/. See FILES.md for a quick overview of the files in infer/bin.

Installation

Read the INSTALL.md file for details on installing Infer.

License

Infer is BSD-licensed. We also provide an additional patent grant.

About

A static analyzer for Java, C and Objective-C

Resources

Readme

License

View license

Contributing

Contributing

Activity

Stars

1 star

Watchers

1 watching

Forks

1 fork

Languages

  • OCaml 71.1%
  • Java 18.0%
  • C 4.8%
  • Python 2.5%
  • Objective-C 2.4%
  • Shell 0.5%
  • Other 0.7%