免费工具检查MISRA C的合规性？

Question

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

Answer 1

相对而言，与具有MISRA合规性检查的完整静态分析工具相比，PC-Lint几乎 免费。此外，我发现PC-Lint比那些昂贵的（即> $ 20,000）工具更好地报告。

Answer 2

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

这样做的方法：

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

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