GitHub repository: xi-liu-ds/infer
Primary language: OCaml
Description: A static analyzer for Java, C, C++, and Objective-C