Описание тега coverity-prevent

Описание тега Вопросы с тегом

Coverity Prevent - это коммерческий статический анализатор исходного кода, который ищет ошибки, такие как несогласованные проверки NULL, мертвый код, неиспользуемые возвращаемые значения, отсутствующий оператор break и т. Д.

Coverity Prevent - старое название Coverity Static Analysis, коммерческого продукта, производимого Coverity, Inc.

Статический анализ покрытия существует для C/C++, Java и C#. Анализ работает с AST, а не с исходным кодом. AST генерируется компилятором Coverity, который наблюдает за собственным компилятором и затем выводит AST для фазы анализа, имитирующей поведение собственного компилятора.

На этапе анализа запускаются несколько "проверяющих", которые ищут общие дефекты по нескольким путям (за исключением тех, которые невозможно выполнить во время выполнения).

Распространенными проблемами при запуске Статического анализа Coverity могут быть ошибки на этапах "cov-build" или "cov-analysis". Лучше всего обращаться в службу поддержки Coverity или на форумах разработчиков Coverity (http://communities.coverity.com/).

Вопросы, которые могут быть интересны сообществу разработчиков в целом, - это обсуждение того, почему конкретный фрагмент кода был помечен как неправильный или неоптимальный.

В большинстве случаев необходимо будет предоставить достаточный контекст, чтобы прояснить, что помечает анализ - это будет включать помеченный код, а также все соответствующие определения типов и т. Д.

Уже проводились обширные обсуждения преимуществ инструментов статического анализа и сравнения бесплатных и коммерческих предложений, но любые совершенно новые вопросы такого типа могут быть подходящими кандидатами для этого тега.