Infer - A static analyzer for Java, C and Objective-C

A static analyzer for Java, C and Objective-C. It is a tool to detect bugs in Android and iOS apps.