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.
Android and Java
Infer reports null pointer exceptions and resource leaks in Android and Java code.
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, WhatsApp, and other apps which are used by over a billion people.
In addition to Facebook, where Infer is being developed, Infer is used by a number of companies:
Do you run Infer on your app or program? Add yourself to this list with a pull request!
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!