主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

使用自定义检查项文件

指定检查项必须使用检查项激活 XML 文件来指定。

自 R2023b 起

描述

具有此名称的选项仅在 Polyspace 平台 (Polyspace Test)用户界面中可用。有关标准 Polyspace® 用户界面中的等效选项,请参阅按文件设置检查项 (-checkers-selection-file)(编码标准检查项)或查找缺陷 (-checkers -disable-checkers)(缺陷检查项)。

指定是否要使用激活文件来启用自定义的 Polyspace Bug Finder™ 缺陷检查项和编码规则检查项。

设置选项

Polyspace Platform 工程配置中,在静态分析选项卡上,选择缺陷和编码标准节点,然后选择此选项。

为何使用此选项

检查项激活文件是 XML 文件,用于在 Bug Finder 分析中激活 Bug Finder 缺陷和编码规则检查项的精选集合。将此选项设置为 (On) 允许您在字段检查项激活文件 (-checkers-activation-file) 中指定一个新的或已存在的激活文件。

设置

打开

Polyspace 启用选项检查项激活文件 (-checkers-activation-file)

关闭(默认值)

Polyspace 将字段检查项激活文件 (-checkers-activation-file) 保持为禁用状态。

命令行信息

没有命令行选项来启用检查项激活文件。使用命令 -checkers-activation-files 在命令行中直接指定检查项激活文件。

版本历史记录

在 R2023b 中推出