It’s been a little over a year ago since we open-sourced Infer on 9 June 2016!

The Infer GitHub repo has seen a lot of activity since then:

Infer was presented at 13 academic and tech international conferences, and at 8 universities around the world!

Amongst these was Mobile@Scale in March 2016, where we announced our collaboration with Spotify. Around the same time, Uber presented at Droidcon SF their Rave + Infer combo to help their developers move fast, and open-sourced a Gradle plugin for Infer.

Infer has also been used to introduce static analysis to students in university courses, including at UCL, Imperial College, and Queen Mary University.

In May, Reason was released publicly and, simultaneously, Infer became the first ever project to use Reason! Reason is a new syntax for OCaml, the programming language in which Infer is written.