GitHub repository: 7coder7/infer
Primary language: OCaml
Description: A static analyzer for Java, C and Objective-C