from Coverity :
In 2006, the Coverity Scan service was initiated with the U.S. Department of Homeland Security as the largest public-private sector research project in the world, focused on open source software quality and security. Coverity now manages the project, providing its development testing technology as a free service to the open source community to help them build quality and security into their software development process. Register your open source project for the Coverity Scan service, and follow us on Twitter to get the latest updates.
- Coverity Scan Static Analysis
Find and fix defects in your Java, C/C++ or C# open source project for free
- Projects that use this service
Linux Kernel
CPython
Jenkins
PHP
PostgreSQL
Hadoop
…
example :