使用自定义检查项文件
指定检查项必须使用检查项激活 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 中推出