Infer is a static analysis tool that detects bugs in Java, C/C++, and Objective-C code before it...