c - 用于检查 MISRA C 合规性的免费工具？

Question

是否有任何开源或免费工具可以检查MISRA C合规性？

Answer 1

Cppcheck（免费和开源）有一个官方插件允许检查 MISRA-C 2012 规则。

这样做的方法：

1. cppcheck --dump file.c
2. python misra.py 文件.c.dump

您可以在您的 Cppcheck 安装中或在这里找到misra.py：https://github.com/danmar/cppcheck/blob/master/addons/misra.py

Answer 2

相对而言，与具有 MISRA 合规性检查的成熟静态分析工具相比，PC-Lint几乎是免费的。此外，我发现 PC-Lint 在报告方面比那些昂贵（即 > 20,000 美元）的工具做得更好。