@article{ART003234167},
author={Donghee Ha},
title={A Comparative Study on the Performance of Commercial and Open-source Static Analysis Tools for MISRA C Coding Standards},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2025},
volume={30},
number={8},
pages={11-19}
TY - JOUR
AU - Donghee Ha
TI - A Comparative Study on the Performance of Commercial and Open-source Static Analysis Tools for MISRA C Coding Standards
JO - Journal of The Korea Society of Computer and Information
PY - 2025
VL - 30
IS - 8
PB - The Korean Society Of Computer And Information
SP - 11
EP - 19
SN - 1598-849X
AB - 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.
KW - Static Analysis;MISRA C Coding Rule;Static Analysis Tool;Commercial Software;Open-source Software
DO -
UR -
ER -
Donghee Ha. (2025). 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, 30(8), 11-19.
Donghee Ha. 2025, "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, vol.30, no.8 pp.11-19.
Donghee Ha "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 30.8 pp.11-19 (2025) : 11.
Donghee Ha. A Comparative Study on the Performance of Commercial and Open-source Static Analysis Tools for MISRA C Coding Standards. 2025; 30(8), 11-19.
Donghee Ha. "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 30, no.8 (2025) : 11-19.
Donghee Ha. 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, 30(8), 11-19.
Donghee Ha. 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. 2025; 30(8) 11-19.
Donghee Ha. A Comparative Study on the Performance of Commercial and Open-source Static Analysis Tools for MISRA C Coding Standards. 2025; 30(8), 11-19.
Donghee Ha. "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 30, no.8 (2025) : 11-19.