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

Coverity is a static code analysis tool for C, C++ and other programming languages.
2 ответа

Как удалить проект из coverity-scan

Я зарегистрировал проект с Coverity-Scan в прошлом. Теперь я хотел бы удалить этот проект из сканирования покрытия (или, по крайней мере, с моей приборной панели; но желательно, чтобы я полностью удалил проект). Я застрял, потому что, кажется, нет т…
29 дек '15 в 23:01
3 ответа

Отклонение покрытия: - просчет длины строки (BAD_ALLOC_STRLEN)

У меня есть отклонение укрытия, которое будет исправлено, но я не уверен в этом. У меня есть функция (void my_function(a_type *my_variable)) со следующей проблемной строкой кода: body = malloc(strlen(&((my_type*) *my_variable)->Param2.body[1]…
30 мар '16 в 13:01
1 ответ

Coverity Scan не выпускает имя удаленного проекта

Я поддерживаю покрытие для проекта nanodbc по адресу https://scan.coverity.com/projects/lexicalunit-nanodbc Я также зарегистрировал новый проект для nanodbc по адресу https://scan.coverity.com/projects/nanodbc-nanodbc который указывает на новое мест…
09 янв '18 в 20:09
3 ответа

Ограничить доступ к массивам по неправильному индексу

Перефразировал вопрос, чтобы быть более понятным: Я заинтересован в добавлении правила к контролерам Coverity и хочу проконсультироваться, если это возможно и что нужно сделать, чтобы достичь. Я говорю о программировании на C и хочу ограничить досту…
02 сен '14 в 11:48
1 ответ

Реальная утечка ресурсов цикла foreach ManagementObject или ложное срабатывание?

Я работаю с ManagementObjects и циклами foreach в C#. Coverity утверждает, что в коде есть утечка: ObjectQuery myQuery = new ObjectQuery("Select * from Win32_Printer"); using (ManagementObjectSearcher mySearcher = new ManagementObjectSearcher(myQuer…
22 сен '15 в 18:24
1 ответ

Вкладка "Настройка Travis CI" не отображается на веб-странице "Отправить сборку" Coverity Scan

У меня проблемы с настройкой Travis CI для отправки моего публичного проекта в Coverity Scan. Я следую инструкциям Coverity, но когда я достигаю шага 7, нет Configure Travis CI вкладка: Как следствие, я не могу соответствующим образом изменить мой .…
20 июн '18 в 20:23
1 ответ

clang(не clangcc) не поддерживается coverity8

Я использую прикрытие для анализа своего кода. но когда я настроил cov, получил ошибку. > cov-configure --config > /home/opt/coverity/Coverity/cov-admin/cov-conf/config/coverity_config_armcc.xml > --comptype clang --compiler ****** --templa…
11 ноя '16 в 03:32
1 ответ

Coverity: скрипт компоновки командной строки для базового кода C++

Я работаю над требованием выполнить инструментальную сборку кода C++ на сервере сборки Coverity(инструмент статического анализа кода, версия 7.5.1) через командную строку. Необходимо выполнить базовый код C++ через командную строку, я попытался с по…
20 май '15 в 08:31
0 ответов

Удаление проекта форка и добавление официального репо

Я пытался добавить поддержку сканирования покрытия для проекта, поэтому, как обычно, я его разветвил, добавил поддержку в .travis.yml, создал проект в Coverity Scan для форка, чтобы он работал до поднятия PR. Это сделал! Затем я попросил у сопровожд…
17 сен '18 в 07:00
1 ответ

Поддерживает ли Coverity версию Angular2 и выше?

Coverity поддерживает angular2 и выше версии? Если да, то каков процесс для этого?
20 июн '18 в 04:07
1 ответ

Ошибка неопределенного ожидания Java Coverity в операторе блокировки

Относительно новичок в Java, но поручено смотреть на недостатки Coverity. Это так просто, как я думаю? (Я не могу убедить владельца кода.) 50 // this method is used when the program is run as a pojo. 51 public static void main(final String[] args) {…
10 мар '16 в 19:12
0 ответов

Coverity жалуется на неисследованное исключение (я). Какие проблемы безопасности связаны с такими?

Я пишу код C++ для Linux. У меня есть все ресурсы, обернутые в объекты RAII. Если мое программное обеспечение выдает ошибку и нет нигде блока try/catch. Что может случиться? Я в основном спрашиваю с точки зрения безопасности, потому что это то, что …
07 фев '15 в 01:44
1 ответ

Почему прикрытие помечает предупреждение за это?

Я не уверен, почему инструмент статического анализа кода скрывает флаги: CID 40172 (#1 of 1): Parse warning (PW.INCOMPATIBLE_PARAM) 1. incompatible_param: argument of type "volatile mpls_RuntimeInfo_t *" is incompatible with parameter of type "void …
22 июн '17 в 14:08
0 ответов

Написание модели Coverity: указатель в структуре ВСЕГДА указывает на испорченные данные

Я регулярно проверяю lwIP, свободный стек TCP/IP с Coverity. Как сетевой стек, у нас есть ненадежные данные, поступающие из сети, которые хранятся в struct pbuf (некоторые члены для ясности опущены): struct pbuf { void *payload; u16_t len; u16_t ref…
01 сен '16 в 06:50
1 ответ

Генерация ключа аутентификации

Я установил coverity connect/platform на сервер. Чтобы подключиться к нему через анализ покрытия, он предлагает ввести ключи аутентификации. Как мне сгенерировать ключи авторизации для подключения coverity?
08 дек '18 в 16:30
1 ответ

coverity 2017.07 segfaults на Debian Buster и Stretch

Я пытался обновить настройки покрытия, и я даже не могу запустить cov-build --help без этого segfaulting. Смотрите следующую информацию о шагах воспроизведения. Я забыл показать, что md5sum совпадает в asciinema, но я вас уверяю, что это так. Я сдел…
22 ноя '17 в 02:54
0 ответов

Проблема при настройке Python в Coverity из командной строки

Я использую Coverity для проекта Python. При настройке Python с помощью cov-configure, выбрасывая ниже ошибку. Используя команду: $cov-configure --python ОШИБКА: [COMMAND LINE ERROR] Неопределенная опция 'python' Не могли бы вы помочь в этом
23 янв '19 в 07:34
0 ответов

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

Есть ли способ отключить определенные проверки на основе шаблона имени файла? Например, я хочу отключить проверку DEADCODE для файлов, соответствующих шаблону "* with-dead-code *.c $". В нашей настройке эти файлы генерируются, и удалить из них мертв…
24 янв '19 в 17:12
1 ответ

Как решить проблему с запятнанным скалярным прикрытием, представленную "операцией замены байтов" в c

Я работаю в C - исправления предупреждений Coverity. Новое в предупреждениях TAINTED_SCALAR. У меня есть этот код ниже, в котором я получаю грязное скалярное предупреждение, VOID func1 (UINT1 *p_u1RadiusReceivedPacket, UINT1 *p_u1Secret, UINT1 a_u1C…
25 янв '19 в 12:53
1 ответ

В чем недостаток вызова sleep() внутри блокировки мьютекса?

Например: pthread_mutex_lock(); //Do something sleep(1); //causes issues waiting while holding lock pthread_mutex_unlock(); какое решение, если мы не хотим использовать сон внутри блокировки мьютекса