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

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

Резервное копирование базы данных PostgreSQL в файл

У нас есть инструмент настройки "coverity", и мы пытаемся найти способ сделать резервную копию базы данных в файл, он использует, я полагаю, PostgreSQL. Как мы можем сделать это, используя собственную независимую установку PostgreSQL?
01 сен '11 в 14:47
1 ответ

Глушение ложных срабатываний в Coverity Prevent

Я использую Coverity Prevent в проекте C++. Есть ли способ пометить ложные срабатывания непосредственно в исходном коде?
24 авг '10 в 14:38
2 ответа

Проект не указан на портале покрытия

Я создал один новый проект в Coverity, и я могу допустить дефекты в этом проекте. Когда я открываю портал покрытия, моего проекта нет в списке, но он отображается в окне конфигурации.
25 окт '13 в 10:42
1 ответ

Как инициализировать экземпляр GUITHREADINFO

Я объявил следующее GUITHREADINFO gui; Coverity жалуется, что графический интерфейс не инициализирован. Подскажите, пожалуйста, как мне его инициализировать? С уважением Chintan
0 ответов

Проблемы интеграции Coverity с Дженкинсом

При попытке интегрировать Coverity с Jenkins и настроить экземпляры Integrity manager на Jenkins, я вижу следующую ошибку: Connected successfully, but Coverity web services were not detected. Похоже, что это ответ Ajax для кода ответа не 200 из CIM.…
2 ответа

Статический анализ покрытия для программ на Си

Я новичок в инструменте статического анализа и пытаюсь создать простой инструмент проверки. Когда я выбрасываю OUTPUT_ERROR, я также получаю некоторые подробности с такими тегами, как "cond_true" и т. Д. Есть ли способ, которым я могу заглушить их и…
21 мар '14 в 04:23
3 ответа

Как сделать статический анализ Coverity совместимым со стандартом C++0x?

Я использую Wind River Compiler 4 (gcc (C) и g++ (C++)), и он без проблем компилирует все мои проекты. Теперь я должен использовать статический анализ Coverity для проверки моего кода. Я настроил конкретные компиляторы. Для C-кода (gcc) проблем нет,…
1 ответ

Могу ли я отфильтровать результаты моего имени в Coverity, используя что-то вроде регулярного выражения?

Я работаю с Coverity, и я хотел бы отфильтровать результаты моего имени в моем представлении в стиле регулярных выражений. Есть ли что-нибудь более сложное в укрытии, кроме: ? - Any single character * - Any group of characters Что несколько ограничи…
29 ноя '12 в 16:19
1 ответ

Предупреждение о переполнении возвращаемого значения в Coverity

Я получаю предупреждение инструмента статической проверки скрытности для фрагмента кода ниже. double value = 0; std::string origValue("0.50"); value = 0.10 * boost::lexical_cast<double>(origValue); Предупреждение "Переполненное возвращаемое зн…
23 мар '12 в 13:21
6 ответов

"х = ++ х" действительно ли это не определено?

Я использую Coverity Prevent в проекте, чтобы найти ошибки. Он сообщает об ошибке для этого выражения (имена переменных, конечно, изменяются): x= (a>= b) ? ++x: 0; Сообщение: EVALUATION_ORDER дефект: In "x=(a>= b) ? ++x: 0;","x"написано в"x"(з…
01 сен '10 в 14:49
4 ответа

Загрязненное строковое сообщение от Coverity с использованием getenv

Запуск Coverity в моем коде приводит к появлению сообщения об испорченной строке. Я использую переменную "путь", объявленную в стеке, поэтому я не уверен, почему я вижу ошибки. Я могу только думать, что с помощью getenv() прямо в strncpy() вызывает …
08 дек '14 в 05:56
3 ответа

Что означает HFA в Coverity Prevent?

Coverity Prevent имеет чекер HFA, который используется для идентификации неиспользуемых включенных заголовочных файлов. Я понимаю, для чего он используется, но я не понимаю аббревиатуру. Что означает HFA? Похоже, что это не упоминается в документац…
01 окт '09 в 09:23
1 ответ

Настройка покрытия (Предупреждение Cygwin)?

В настоящее время я пытаюсь запустить приложение Coverity Prevent, и я полагаю, что все правильно настроено на моей машине для сборки Windows 7. Я запустил его с AnthillPro, и когда мой код заканчивается и попадает в Coverity, он говорит, что все бы…
20 апр '12 в 15:59
1 ответ

Установка Coverity и настройка базы данных (cov-install-gui)

Я новичок в использовании прикрытия, и это, возможно, не очень сложный вопрос, но я был бы очень признателен, если бы кто-нибудь смог помочь мне в процессе настройки. Сначала я выполнил следующую команду: cov-configure --compiler / usr / bin / gcc -…
12 июл '12 в 20:14
1 ответ

В чем разница между ошибками REVERSE_INULL и FORWARD_NULL при сканировании скрытности (статический анализ кода)?

Когда я запускаю сканирование покрытия кода Python (статический анализ кода), обнаруживаются ошибки REVERSE_INULL и FORWARD_NULL. Кто-нибудь может сказать, в чем разница между REVERSE_INULL и FORWARD_NULL? почему эти ошибки обнаружены.
24 дек '18 в 12:06
4 ответа

Coverity для статического анализа Java

Я хотел бы получить комментарии от людей, которые использовали или оценивали Coverity для статического анализа Java-кода. Я знаю, что он популярен в мире C/C++, но стоит ли тратить деньги на анализ Java или мне лучше с PMD, Findbugs и другими инстру…
06 окт '08 в 10:02
1 ответ

Ошибка при компиляции проекта C++ с devenv с использованием Coverity. (СОУ-build.exe)

При запуске сборки Coverity я получаю следующую ошибку: Failed to locate msbuild.exe when handling devenv template configuration. Shutting down resident msbuild processes is impossible. Не могу найти его в Google! Кто-нибудь знает, что это может зна…
10 янв '13 в 12:38
1 ответ

Входы справочной функции Coverity для пользовательской проверки

Есть ли простой способ взять общие аргументы функции (Pointer, Array, Integer) и получить значения, поддерживающие выражение, при написании пользовательской проверки? Например, я сопоставляю такую ​​функцию, как: Pointer p; Integer i; CallSite f("fu…
08 дек '11 в 23:36
4 ответа

Насколько хорошо статический анализ кода работает с Spring и другими абстракциями?

Я нахожусь в ситуации, когда мне необходимо приложить хоть какие-то усилия для удаления никогда не использованного кода из моего исходного кода. Общее предпочтение - использовать инструмент статического анализа кода. Нам повезло с этим в других прое…
1 ответ

Coverity Prevent: как обработать предупреждение о "проверенном возврате", когда я сознательно не проверяю возврат?

Как следует из названия, например, в 85% случаев я хотел бы проверить код возврата функции foo(), но иногда мне действительно все равно, но это вызовет предупреждение Coverity. Какой лучший способ справиться с этой проблемой? Изменение настроек Cove…
22 фев '11 в 01:33