По словам Хаммонда, статистический анализ прежде всего нацелен на выявление ошибок программирования («структурных «анти-шаблонов» в коде»), обнаружение «более экзотических» проблем, включая выполнение параллельного кода, а также более распространенные неприятности, такие как переполнение буферов и утечки памяти.
Процесс показывает, соответствует ли код «тем видам лучших примеров программирования, которые ожидаешь от кода, прошедшего через надлежащую проверку».
В процессе анализа, основанного на преднамеренной отправке кода для проверки, используется система звеньев, для того чтобы классифицировать, насколько глубоко проект зашел в исправлении ошибок, обнаруженных во время выполнения анализа.
Coverity определила четыре проекта – OpenPAM, Ruby, Samba и tor – для Rung 3, последнего звена в цепочке уничтожения ошибок.
По сообщениям Coverity, 280 проектов подали заявки на проверку кода, всего более шестидесяти миллионов строк кода.
Было устранено более 11 200 ошибок, над проверкой присланного кода трудились программисты примерно со 180 проектов.
Благодаря этой программе показатель, который в Coverity называют «плотность ошибок» (англ. defect density) за три года снизился на впечатляющие шестнадцать процентов.