Infer Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list of potentia ...