29、Polyspace对编码标准的支持及MISRA C:2004规则详解

Polyspace对编码标准的支持及MISRA C:2004规则详解

1. Polyspace对编码标准的支持概述

Polyspace Bug Finder和Polyspace as You Code支持多种编码标准。可以通过在IDE中分析单个翻译单元，然后在集成期间分析整个源代码，来检查代码是否符合这些标准。Polyspace as You Code支持Bug Finder所支持规则的一个子集。

以下是Polyspace对不同标准支持情况的总结：
| 标准 | 发布时间 | 静态可执行规则 | 必需或强制规则 |
| ---- | ---- | ---- | ---- |
| “AUTOSAR C++14” | 2018年10月31日 | 标准中的349条规则全部支持 | 标准中的362条规则支持337条 |
| “MISRA C++:2008” | 2008年6月 | 该标准未按静态可执行性对规则进行分类 | 标准中的198条规则支持193条 |
| “MISRA C:2012” | 2013年3月、2016年4月（修订1）、2017年6月（TC1）、2018年1月（修订2） | 标准中的122条规则全部支持 | 标准中的126条规则全部支持 |
| “CERT C” | 2016年 | 标准中的120条规则全部支持 | 标准中的120条规则全部支持 |

此外，Polyspace还支持其他编码规则标准，如MISRA C:2004、MISRA AC AGC、ISO/IEC TS 17961、JSF AV C++、CERT C++等。

2. 具体标准规则分析

2.1 AUTO