A Comparative Study on the Performance of Commercial and Open-source Static Analysis Tools for MISRA C Coding Standards Compliance

국방, 자동차와 같이 안전성이 중요한 산업에서는 신뢰성 있는 소프트웨어 개발을 보장하기 위해 MISRA C가 널리 적용되고 있다. 그러나 정적분석 도구는 규칙 지원 범위와 탐지 성능에서 차이가 있으며, 이에 대한 비교 연구는 제한적이다. 본 연구에서는 MISRA C:2012 예제 모음을 이용하여 상용 소프트웨어 도구 A와 오픈소스 소프트웨어 CPPCHECK를 평가하였다. 두 도구가 수행한 정적 분석 결과를 테스트 케이스(Test Case), 규칙 범주(Rule Category), 규칙 섹션(Rule Section)의 세 가지 범주에서 분석하였으며, 정확도(accuracy), 정밀도(precision), 재현율(recall), F1 점수(F1-score)의 네 가지 평가지표를 사용하였다. 실험 결과, 도구 A는 두 가지 범주(Test Case, Rule Category)에서 CPPCHECK보다 우수한 성능을 보였다. 그러나 규칙 섹션 9, 15, 16에서는 CPPCHECK가 더 좋은 성능을 보였다.