GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign up
Summary: `NonBlocking` methods have starvation errors silenced (but not deadlock ones). This is implemented by summarising as usual and then filtering out such events when the summary is finalised, if the method is annotated as such. It's better to not record the events in the first place. Reviewed By: ezgicicek Differential Revision: D24237465 fbshipit-source-id: 1b24a26f0
Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.
See CONTRIBUTING.md.
Infer is MIT-licensed.
Note: Enabling Java support may require you to download and install components licensed under the GPL.
