主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

选择特定的 Bug Finder 缺陷检查项

您可以使用 Bug Finder 中预定义的缺陷检查项子集检查您的 C/C++ 代码。但您也可以自定义要在分析过程中检查哪些缺陷。

您可以使用电子表格来跟踪启用的缺陷检查项,并添加注释来解释为什么不启用其他检查项。polyspaceroot\polyspace\resources 中提供了检查项电子表格。其中,polyspaceroot 是 Polyspace® 的安装文件夹,例如 C:\Program Files\Polyspace\R2019a

用户界面(仅限桌面端产品)

  1. 配置窗格上,选择 Bug Finder 分析

  2. 查找缺陷菜单中,选择一组缺陷。选项包括:

为了在整个组织范围内实现 bug 查找标准化,您可以将缺陷检查项列表保存为配置模板,并与他人共享。请参阅Create Project in Polyspace Desktop User Interface Using Configuration Template

命令行

请参阅查找缺陷 (-checkers) 选项。请将以逗号分隔的检查项列表指定为参量。例如,要在只启用了数据争用检查项的服务器端运行 Bug Finder 分析,请输入:

polyspace-bug-finder-server -sources filename -checkers DATA_RACE,DATA_RACE_STD_LIB
使用 Bug Finder 检查项的短名称不是完整名称。请参阅Bug Finder 缺陷组和缺陷检查项的短名称

另请参阅

主题