본문 바로가기
  • Home

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

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2025, 30(8), pp.11~19
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science
  • Received : July 28, 2025
  • Accepted : August 18, 2025
  • Published : August 29, 2025

Donghee Ha 1

1국방과학연구소

Accredited

ABSTRACT

In safety-focused industries such as defense and automotive, MISRA C is widely adopted to ensure reliable software. However, static analysis tools differ in rule coverage and detection performance, and comparative studies remain limited. In this paper, we evaluate a commercial software tool A and an open-source software CPPCHECK using the MISRA C:2012 example suites. We analyze the static analysis results produced by these tools across three categories (Test Case, Rule Category, and Rule Section) using four metrics (accuracy, precision, recall, and F1-score). Experimental results show that Tool A performs better than CPPCHECK in two categories (Test Case and Rule Category). However, in Rule Sections 9, 15, and 16, CPPCHECK achieves better performance, indicating strengths in specific areas.

Citation status

* References for papers published after 2024 are currently being built.