配置 Bug Finder 缺陷检查项
指定 Polyspace® Bug Finder™ 缺陷检查项集
默认情况下，Polyspace Bug Finder 会检查一组预定义的缺陷。使用“检查项选择”窗口激活一组编码规则和缺陷。将一组激活的检查项保存到检查项激活文件 (.xml) 中，然后在后续分析中使用该激活文件。请参阅检查项激活文件 (-checkers-activation-file)
或者，使用分析选项 -checkers 来启用对其他缺陷的检查。您可以通过在逗号分隔的列表中指定一组缺陷检查项的短名称，并将该列表作为上述选项的输入，来启用这组缺陷检查项。例如，-checkers DATA_RACE,TAINTED_HOSTID。要启用一组用于查找特定类型缺陷的检查项，请将该组的短名称指定为输入。例如，使用选项 -checkers concurrency 启用并发性缺陷检查项。有关缺陷组的列表，请参阅Bug Finder 缺陷组。有关缺陷检查项和缺陷组的短名称，请参阅Bug Finder 缺陷组和缺陷检查项的短名称。
Polyspace 选项
查找缺陷 (-checkers -disable-checkers) | 启用或禁用缺陷检查项 |
主题
配置缺陷检查项
- 指定 Polyspace 分析选项
在 Polyspace 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。 - 选择特定的 Bug Finder 缺陷检查项
在 Bug Finder 中检查特定缺陷，而不是使用默认检查项。 - Bug Finder 缺陷组
Bug Finder 的缺陷检查项分为数据流、并发、数值等分组。 - Bug Finder 缺陷组和缺陷检查项的短名称
查找 Bug Finder 缺陷组和缺陷检查项的短名称，以便在代码注解中使用或者与-checkers选项一起使用。 - Prepare Checkers Configuration for Polyspace Bug Finder Analysis
Deploy common checkers configuration to enforce uniform standards, mix defect and coding rule checkers.
缺陷范围
- 默认启用的 Polyspace Bug Finder 缺陷检查项
查找默认启用的 Bug Finder 检查项列表。 - Bug Finder Results Found in Fast Analysis Mode
Learn about the subset of defects and coding rules that Bug Finder checks in fast analysis mode.
