Donghee Ha
| 2025, 30(8)
| pp.11~19
| number of Cited : 0
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.