Klocwork 9 vs Klocwork 12

Question

동일한 코드베이스의 경우 klocwork를 실행할 때 KW의 두 가지 버전에 대해 결과가 달라집니다.

예 : | INFINITE_LOOP.LOCAL :

# 6325 : 무한 루프 "파일 경로" 코드에서 특정 파일, KW (9)는 다음과 같은 오류를 던지고있다 심각도 : 오류 (2) | 주 : 기존 | 상태 : 분석 | 분류 : C 및 C++ | 소유자 : 소유되지 않음

그러나 KW 12의 경우에는 이러한 오류가 없습니다.

KW는 서로 다른 컴퓨터에 있으므로 구성에 따라 차이가있을 수 있습니다. 그러나 구성 파일 "problems_default.pconf.xml"은 두 경우 모두 동일합니다.

누군가 도움을 줄 수 있습니까?

Answer 1

여기에서 당신을 도울 수 있습니다. Klocwork는 가능한 모든 취약점을 탐지하기 위해 체커를 계속 튜닝/추가합니다. Checker "INFINITE_LOOP.LOCAL"은 Klocwork v10.1 및 v12.0에서 정확한 이슈 율을 얻기 위해 조정/수정되었습니다. 이로 인해 결과가 달라질 수 있습니다. 더 자세한 설명이 필요한 경우 되돌리십시오.