JacobBarthelmeh/infer

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