查找缺陷 (-checkers -disable-checkers)

启用或禁用缺陷检查项

描述

此选项仅影响 Bug Finder 分析。

为 Bug/编码缺陷启用检查项。

设置选项

使用以下方法之一设置选项：

为何使用此选项

默认的检查项组旨在发现大多数软件开发情况下最有意义的 Bug。如果您有特定需求，请单独启用或禁用相应缺陷检查项。例如，如果您希望遵循特定的安全标准，请选择不同的检查项子集。

设置

默认值： default

default

由软件定义的缺陷子集。

请参阅默认启用的 Polyspace Bug Finder 缺陷检查项。

all

所有缺陷。

有关所有缺陷检查项的列表，请参阅缺陷。

请注意，即使您为此选项指定 all，检查项 SQL 注入和 LDAP 注入也会被禁用。您必须显式启用这些检查项。

custom

通过选择检查项的类别或特定缺陷来选择要查找的缺陷。

提示

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

命令行信息

在命令行中使用 -checkers 命令启用或禁用缺陷检查项。

无论顺序如何，shell 脚本都会先处理 -checkers 选项，然后再处理 -disable-checkers 选项。

有关命令行参数值，请参阅 Bug Finder 缺陷组和缺陷检查项的短名称。

参数：-checkers
值：default | all | none | Bug Finder 缺陷组和缺陷检查项的短名称
默认值：default
参数：-disable-checkers
值：Bug Finder 缺陷组和缺陷检查项的短名称
示例 1 (Bug Finder)：polyspace-bug-finder -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
示例 2 (Bug Finder)：polyspace-bug-finder -sources filename -checkers default -disable-checkers concurrency,dead_code
示例 1 (Bug Finder Server)：polyspace-bug-finder-server -sources filename -checkers numerical,data_flow -disable-checkers FLOAT_ZERO_DIV
示例 2 (Bug Finder Server)：polyspace-bug-finder-server -sources filename -checkers default -disable-checkers concurrency,dead_code

或者，在激活 XML 文件中激活缺陷检查项。请参阅检查项激活文件 (-checkers-activation-file)。

版本历史记录

全部展开

另请参阅

| |

主题