Статический анализ Coverity Scan позволяет бесплатно находить и исправлять дефекты в вашем проекте с открытым исходным кодом на Java, C/C++ или C#.
Он проверяет каждую строку кода и потенциальный путь выполнения. Основная причина каждого дефекта четко объясняется, что упрощает исправление ошибок.
В 2006 году служба Coverity Scan была инициирована Министерством внутренней безопасности США как крупнейший в мире исследовательский проект государственного и частного секторов, ориентированный на качество и безопасность программного обеспечения с открытым исходным кодом. Теперь Coverity управляет проектом, предоставляя свою технологию тестирования разработки в качестве бесплатной услуги сообществу открытого исходного кода, чтобы помочь им обеспечить качество и безопасность в процессе разработки программного обеспечения.
Список проектов с открытым исходным кодом, использующих Coverity, см.:
https://scan.coverity.com/projects