Infer is a static analysis tool developed by Facebook. Infer used to identify bugs before shipped. If you give Infer some Objective-C, Java, or C code, it produces a list of potential bugs.
User can use Infer to find out critical bugs before they have shipped to people's phones and help prevent crashes or poor performance.
Infer is used by Facebook in 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.
Android and Java - Infer reports null pointer exceptions and resource leaks in Android and Java code.
iOS - Infer detect memory leak problems in iOS and C code.
Website - http://fbinfer.com/
Documentation - http://fbinfer.com/docs/
Support - http://fbinfer.com/support.html
Blog - http://fbinfer.com/blog/
Github - http://github.com/facebook/infer