What is Infer?
Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list of potential bugs.
Anyone can use Infer to intercept critical bugs before they have shipped to people's phones, and help prevent crashes or poor performance.
Features
Android and Java
Infer reports null pointer exceptions and resource leaks in Android and Java code.
iOS
In addition to this, it reports memory leak problems in iOS and C code.
Who Uses Infer?
It is used as part of the Facebook development process, where it runs on code changes for mobile apps - these include the main Facebook apps for Android and iOS, Facebook Messenger, Instagram, and other apps which are used by over a billion people.
Using Infer
Start with the Getting Started guide and our other docs to download and try Infer yourself.
Infer is still evolving, and we want to continue to develop it in the open.
We hope it will be useful for other projects, so please try it out or contribute to it, join the community and give us feedback!