Open-sourcing Facebook Infer: Identify bugs before you ship
The types of issues discovered (they mention null pointer access and resource and memory leaks) is much smaller than what a tool like Coverity will find (I use it). And they analyze C and Java, two languages supported by Coverity, a very mature tool...<p>I am not certain of the proposed value, except it's free to other than Facebook - but not to Facebook, who pays engineers to develop this...
Is this some kind of NIH syndrom by Facebook, or is there something I missed ?