A static analyzer for Java, C and Objective-C. [BSD]
Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.