A static analysis tool built by the engineers at Facebook. Infer can inspect Objective-C, Java or C code to intercept critical bugs before they have shipped to people's phones, and help prevent crashes or poor performance. It currently supports several types of errors including memory leaks, null dereferencing, parameters and ivars not null checked, premature nil termination arguments, and retain cycles. Facebook is running it continuously on the main Facebook apps for Android and iOS, Facebook Messenger, Instagram, and others, so it's probably worth using on your projects as well.