免费工具来检查对MISRA C的遵从性吗？

Question

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

Answer 1

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

这样做的方法：

你可以简单地找到misra.py在Cppcheck安装或在这里：https://github.com/danmar/cppcheck/blob/master/addons/misra.py

Cppcheck 不需要 MISRA 规则才能使此插件工作：如果提供 MISRA 规则，则用户在发现问题时会收到完整规则的消息，否则用户仅会收到 MISRA 规则的 ID。 (3认同)

Answer 2

相对而言，与具有MISRA合规性检查的功能完善的静态分析工具相比，PC-Lint 实际上是免费的。此外，我发现PC-Lint的报告工作要比那些昂贵的工具（即> 20,000美元）更好。