Coverity Предотвращают, коммерческий статический исходный код анализатор, который ищет ошибки, такие как непоследовательные ПУСТЫЕ проверки, мертвый код, неиспользованные возвращаемые значения, пропуская оператор завершения, и т.д.
Coverity Предотвращает, старое название для Статического анализа Coverity, коммерческий продукт, произведенный Coverity, Inc.
Статический анализ Coverity существует для C/C++, Java и C#. Анализ работает над AST, а не над исходным кодом. AST сгенерирован компилятором Coverity, который наблюдает собственный компилятор и затем производит AST для фазы анализа, эмулирующей поведение собственного компилятора.
Фаза анализа выполняет несколько "средств проверки", которые ищут общие дефекты вдоль разнообразных путей (исключая тех, которые не выполнимы во времени выполнения).
Типичные проблемы с выполнением Статического анализа Coverity были бы ошибками от "cov-сборки" или "cov-проанализировали" бы шаги. Они лучше всего обращены с поддержкой Coverity или на Форумах Разработчика Coverity (http://communities.coverity.com/)
Вопросами, которые могут представлять интерес для общих сообществ разработчиков, были бы обсуждения того, почему конкретная часть кода была отмечена как являющийся неправильным или субоптимальным.
В большинстве случаев будет необходимо обеспечить достаточный контекст, чтобы ясно дать понять, что отмечает анализ - это включало бы отмеченный код, а также все соответствующие определения типов и т.д.
Уже были обширные дискуссии о преимуществах инструментов Static Analysis и сравнении бесплатных и коммерческих предложений, но любыми абсолютно новыми вопросами того типа могли быть соответствующие кандидаты на этот тег.