Binary wrapper for Infer - A static analyzer for Java, C and Objective-C - View it on GitHub