Klocwork 9.6 игнорировать определенные шашки только в указанных файлах

Question

Мы используем Klocwork 9.6 для анализа статического кода.
Для выполнения анализа мы используем команду командной строки «kwcheck»
Есть некоторые ошибки, которые мы просто хотим отфильтровать.
например

(Local) *.cpp:134 UNINIT.STACK.ARRAY.MIGHT (1:Critical) Analyze 
'FRUSerial' array elements might be used uninitialized in this function. 

(Local) *.cpp:187 INFINITE_LOOP.LOCAL (2:Error) Analyze 
Infinite loop 

Это должно быть достигнуто с помощью функциональности Klocwork не с обработкой вывода пост.

Есть ли для этого подходящие команды/переключатели Klocwork?

Answer 1

Вы можете использовать команду kwcheck set-status, чтобы изменить status дефекта с помощью Анализа, чтобы игнорировать или не проблема. Например, для дефекта перечислены ниже:

1 (Local) foo.cpp:134 UNINIT.STACK.ARRAY.MIGHT (1:Critical) Analyze 
'FRUSerial' array elements might be used uninitialized in this function. 

2 (Local) foo.cpp:187 INFINITE_LOOP.LOCAL (2:Error) Analyze 
Infinite loop 

Число в передней части каждого выпуска выше является идентификатором дефекта, так как выход из kwcheck run или kwcheck list. Таким образом, чтобы привести второй дефект и установить статус игнорировать с комментарием, вы должны запускать:

kwcheck set-status 2 --status ignore -c "we want to ignore this" 

Обратите внимание, что по умолчанию kwcheck list отображает только дефекты со статусом Анализировать или Фикс, поэтому, установив статус одного из этих других значений дефекты больше не будут отображаться. Если вы хотите просмотреть список дефектов с определенным статусом, например те, которые вы указали в «Игнорировать», вы можете использовать опцию -s или --status с kwcheck list, чтобы указать, какие статусы (ы) для отображения.

Если вы хотите полностью отключить определенные шашки, вы можете отключить их, используя команду kwcheck disable. Это требует, чтобы вы создали локальный проект для анализа с помощью команды kwcheck create. Вы можете создать локальный проект, даже в качестве временного артефакта, чтобы настроить и контролировать локальный анализ и результаты. Не требуется подключать его к проекту на сервере Klocwork. Например:

Создание локального проекта:

kwcheck create 

Отключить шашек для дефектов вы не хотите видеть:

kwcheck disable UNINIT.STACK.ARRAY.MIGHT INFINITE_LOOP.LOCAL 

Выполнить анализ:

kwcheck run -b buildspec.out