本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
JSF C++ 规则
Polyspace® 中支持的 JSF® C++ 规范的描述和列表
Polyspace Bug Finder 可以根据 JSF C++ 编码标准检查您的代码。可以使用检查 JSF AV C++ 规则 (-jsf-coding-rules) 分析选项在 Bug Finder 中激活不同部分的规则。有关 Bug Finder 中支持的规则的列表，请参阅 JSF C++ 规则。
注意
Code Prover 不再支持检查您的代码是否符合外部编码标准和计算代码度量。请将这些工作流迁移到 Bug Finder。请参阅Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to 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.
