Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/c/70.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
检查是否符合MISRA C的免费工具?_C_Standards_Misra - Fatal编程技术网

检查是否符合MISRA C的免费工具?

检查是否符合MISRA C的免费工具?,c,standards,misra,C,Standards,Misra,是否有任何开源或免费的工具来检查合规性?相对而言,PC Lint与带有MISRA合规性检查的成熟静态分析工具相比几乎是免费的。此外,我发现PC Lint在报告方面比那些昂贵的(即20000美元以上)工具做得更好。Cppcheck(免费和开源)有一个官方插件,允许检查MISRA-C 2012规则 方法是: cppcheck——转储文件.c python misra.py file.c.dump 你可以在你的CPPCHECK安装中找到MISRA.PY,或者在这里: PC LIt支持MISRAC C和

是否有任何开源或免费的工具来检查合规性?

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

Cppcheck(免费和开源)有一个官方插件,允许检查MISRA-C 2012规则

方法是:

  • cppcheck——转储文件.c
  • python misra.py file.c.dump

  • 你可以在你的CPPCHECK安装中找到MISRA.PY,或者在这里:

    PC LIt支持MISRAC C和C++遵从性检查:我的坏。注释已删除(并向您提供+1)详细信息:“PC Lint实际上是免费的”-->找到引文:“PC Lint-一个工作站许可证(非浮动)389.00”不幸的是,Cppcheck需要MISRA规则才能使此加载项工作。这些规则不是免费的,也不随Cppcheck提供。Cppcheck不需要MISRA规则,此加载项才能工作:如果MISRA规则是providen,则用户在发现问题时获得完整规则的消息,否则用户只获得MISRA规则的id。