Для одной и той же базы кода при выполнении klocwork для двух разных версий KW мы получаем разницу в результатах.
Например, для конкретного файла KW 9 выдает следующую ошибку:
# 6325: Бесконечный цикл
«Путь к файлу» Код: INFINITE_LOOP.LOCAL | Серьезность: ошибка (2) | Состояние: Существующий | Статус: Анализировать | Таксономия: C и C ++ | Владелец: неизвестный
Однако для KW 12 такой ошибки нет.
Оба KW находятся на разных компьютерах, поэтому я подозреваю, что это может быть связано с разницей в конфигурации, но файл конфигурации «problem_default.pconf.xml» одинаков в обоих случаях.
Может кто-нибудь помочь?
Я могу помочь вам здесь. Klocwork продолжает настраивать / добавлять контролеры для обнаружения всех возможных уязвимостей.
средство проверки «INFINITE_LOOP.LOCAL» было настроено / изменено на Klocwork v10.1 и v12.0 для получения точной скорости выдачи. Это могло вызвать разницу в результатах. Пожалуйста, вернитесь обратно, если вам нужно больше разъяснений.
Других решений пока нет …