Polyspace在R2011b中已金宝app经支持大多数可检查的MISRA AC AGC规则。如果你想检查C代码是否符合MISRA AC AGC,你可以使用模板文件'MISRA_AC_AGC_2007_primary_Polyspace_set.txt':
1.下载并保存“MISRA_AC_AGC_2007_primary_Polyspace_set.txt”文件,你可以在这个解决方案的底部找到它。
2.用你想要应用MISRA AC AGC规则的项目打开Polyspace Verifier Environment (PVE)。
3.然后在配置窗口中展开“Compliance with Standard”类别,并启用“Check MISRA C rules”。
4.再次展开“检查MISRA C规则”,并从“MISRA C规则配置”类别的下拉列表中选择“自定义”。
5.然后点击“-misra2”选项附近的按钮,并使用“加载现有MISRA C规则配置文件”浏览按钮添加文本文件。
6.使用“OK”按钮关闭MISRA设置窗口并运行验证。
注意,根据不同的主要类别,规则按以下方式设置:
1.OBL -警告(必须)
2.REC -警告(推荐)
3.读取(可读性)
4.NA -关闭(不适用)