facebook / infer

Static analyzer that finds bugs such as null dereferences and resource leaks in Java, C, C++, and Objective-C code.