Coverity is a computer security company, with in-depth experience of static analysis. They have conducted many open source scans, on complex and critical software (such as the Linux kernel), and were able to have numerous bugs fixed. Their static analysis tool is thorough and boasts 100% path analysis.
Coverity has kindly donated a license of Coverity Static Analysis tool to CERN - which means that all CERN users can use the tool. Interested people should contact Axel Naumann for details.