It's a relatively sophisticated static analyser. Nothing new, but quite useful.

Open source projects can register and get reports for free, commercial companies have to pay. Coverity uses eg. Linux to test and compare their product against, and write various marketing pieces such as this one to raise awareness for their product.

http://scan.coverity.com/