免费工具检查符合MISRA C标准的方法？

Question

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

- Vladimir Keleshev

Answer 1

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

- begarco

---

很遗憾，Cppcheck需要MISRA规则才能使此插件正常工作。这些规则并非免费提供，也不随Cppcheck一起提供。 - TonioGA

Cppcheck不需要MISRA规则即可运行此插件：如果提供了MISRA规则，当发现问题时用户将获得完整的规则信息，否则用户只会得到MISRA规则的ID。 - begarco

Answer 2

相对而言，与符合MISRA标准的全面静态分析工具相比，PC-Lint是几乎免费的。此外，我发现PC-Lint在报告方面比那些昂贵的（即>$20,000）工具做得更好。

- Throwback1986

---

PC-Lint支持MISRA C和C++合规性检查：http://www.gimpel.com/html/misra.htm - Throwback1986

我的错。评论已删除（并给你+1）。 - Mawg says reinstate Monica

细节：“PC-Lint几乎是免费的” --> 找到引用：“PC-lint - 单工作站许可证（非浮动）389.00” - chux - Reinstate Monica