本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
MISRA C:2004 规则
Polyspace® 中支持的 MISRA C:2004 规范的描述和列表
Polyspace Bug Finder 可以根据 MISRA™ C:2004 编码标准检查您的代码。可以使用检查 MISRA C:2004 (-misra2) 分析选项在 Bug Finder 中激活不同部分的规则。有关 Bug Finder 中支持的规则的列表，请参阅 MISRA C:2004 规则。
注意
Code Prover 不再支持检查您的代码是否符合外部编码标准和计算代码度量。请将这些工作流迁移到 Bug Finder。请参阅Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder。
主题
迁移到 Bug Finder
- Justify Coding Rule Violations Using Code Prover Checks
Use green runtime checks in Code Prover to allow exceptions for coding rule violations. - Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder
Use Bug Finder instead of Code Prover to check compliance with various coding standards, naming conventions, and code complexity standards. Calculate code metrics by using Bug Finder.
