규칙 특성 중 결정 가능성(Decidability)이란
쉽게 말해서 정적 분석 도구에서 보고한 결함 중 오탐(False Alarm)이 발생 가능한지 여부를 나타낸 특성이다.
예를들어 MISRA 2012 규칙 중 02_03"(사용되지 않은 타입 선언은 없어야 함)" 규칙은 결정 가능(decidable) 규칙이므로 오탐이 없어야 합니다.
반대로 02_02 "(죽은 코드(dead code)는 없어야 함)" 규칙은 결정 불가능(undecidable) 규칙이므로 오탐이 발생할 가능성이 있는 규칙입니다.
Code Inspector의 규칙 설명 뷰에 각 규칙 별로 결정 가능성(Decidability) 를 표시하고 있습니다.
아티클이 유용했나요?
훌륭합니다!
피드백을 제공해 주셔서 감사합니다.
도움이 되지 못해 죄송합니다!
피드백을 제공해 주셔서 감사합니다.
피드백 전송
소중한 의견을 수렴하여 아티클을 개선하도록 노력하겠습니다.