Coverity является статическим инструментом анализа кода для C, C++ и других языков программирования.

Synopsys предлагает бесплатную онлайн версию Coverity по имени Сканирование Coverity, доступное для проектов с открытым исходным кодом.