编码标准
编码规则检查器的描述和示例
Polyspace®错误发现者™可以根据几种不同的编码规则集和自定义编码规则检查代码。要开始检查编码规则,请参见检查是否违反编码标准.要查看Polyspace对不同标准的覆盖范围,请参见编码标准的Polyspace支持.
检查是否符合编码标准
类别
- MISRA C:2004规则
MISRA的列表和描述®:2004年Polyspace支持的指南 - MISRA C:2012指令和规则
MISRA的列表和描述®C: Polyspace支持的2012编码指南 - CERT C规则和建议
Polyspace支持的CERT C标准规则和建议的列表和说明 - ISO/IEC TS 17961规则
Polyspace支持的ISO/IEC TS 17961安全标准规则的列表和描述 - MISRA c++:2008规则
Polyspace支持的MISRA c++:2008指南的列表和描述 - JSF c++规则
JSF的列表和描述®Polyspace支持的c++指南 - AUTOSAR c++ 14规则
Polyspace支持的AUTOSAR c++ 14规则的列表和描述 - CERT c++规则
Polyspace支持的CERT c++标准规则列表和描述 - 自定义编码规则
自定义命名约定规则的列表和描述 - 的指导方针
指南检查程序的列表和描述