编码标准
将用于检查编码标准合规性的工作流迁移到 Bug Finder。请参阅 Bug Finder 文档中的编码规则检查项的说明和示例
检查编码标准和命名约定合规性。
注意
在以后的版本中，Code Prover 将不支持检查您的代码是否符合外部编码标准和计算代码度量。请将这些工作流迁移到 Bug Finder。请参阅Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder。
类别
- 自定义编码规则
自定义命名约定规则的描述和列表
- MISRA C:2004 规则
Polyspace® 中支持的 MISRA C:2004 规范的描述和列表
- MISRA C:2012 指令和规则
Polyspace 中支持的 MISRA C:2012 规范的描述和示例
- MISRA C++:2008 规则
Polyspace 中支持的 MISRA® C++:2008 规范的描述和示例
- JSF C++ 规则
Polyspace 中支持的 JSF® C++ 规范的描述和列表
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)