Coverity tool

[bearophile]

Rarely I have found a so fun description of a software, how they can (barely?) make it a commercial product, the problems they find. The program is a bug finding tool, for C, C++, Java, C#:
http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext

I think it's an interesting read for people that are creating a new language :-)

Bye,
bearophile