Initiated in 2006 in collaboration with the US Department of Homeland Security, the Coverity Scan Initiative has identified almost 50,000 defects within more than 290 open source projects including Linux, Apache, PHP and Android, with over 15,000 defects fixed to date. Thousands of open source developers rely on Coverity to help them enforce the quality, safety, and security of open source software.
"Coverity's static source code analysis has proven to be an effective step towards furthering the quality and security of Linux."
-Andrew Morton, Lead Kernel Maintainer