infer by facebook

A static analyzer for Java, C, C++, and Objective-C

created at Jan. 26, 2015, 11:19 a.m.

OCaml

605 +0

14,717 +9

1,998 +1

GitHub