选择特定的 Bug Finder 缺陷检查项
您可以使用 Bug Finder 中预定义的缺陷检查项子集检查您的 C/C++ 代码。但您也可以自定义要在分析过程中检查哪些缺陷。
您可以使用电子表格来跟踪启用的缺陷检查项,并添加注释来解释为什么不启用其他检查项。
中提供了检查项电子表格。其中,polyspaceroot
\polyspace\resources
是 Polyspace® 的安装文件夹,例如 polyspaceroot
C:\Program Files\Polyspace\R2019a
。
用户界面(仅限桌面端产品)
在配置窗格上,选择 Bug Finder 分析。
从查找缺陷菜单中,选择一组缺陷。选项包括:
默认,该选项会列出默认缺陷列表。此列表包含适用于大多数编码工程的缺陷。
全部,该选项会列出全部缺陷。
CWE 该选项会列出与 CWE 编码标准相关的缺陷。
有关详细信息,请参阅CWE Coding Standard Coverage Using Polyspace。
自定义,可以使用该选项向默认列表中添加缺陷或从其中删除缺陷。
为了在整个组织范围内实现 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