규칙 특성 중 결정 가능성(Decidability)이란 

쉽게 말해서 정적 분석 도구에서 보고한 결함 중 오탐(False Alarm)이 발생 가능한지 여부를 나타낸 특성이다.

예를들어 MISRA 2012 규칙 중 02_03"(사용되지 않은 타입 선언은 없어야 함)" 규칙은 결정 가능(decidable) 규칙이므로 오탐이 없어야 합니다.

반대로 02_02 "(죽은 코드(dead code)는 없어야 함)" 규칙은 결정 불가능(undecidable) 규칙이므로 오탐이 발생할 가능성이 있는 규칙입니다.


Code Inspector의 규칙 설명 뷰에 각 규칙 별로 결정 가능성(Decidability) 를 표시하고 있습니다.