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

-cert-c

R2026a

检查是否存在违反 CERT C 规则和建议的情形

描述

此选项仅影响 Bug Finder。

指定是否检查违反 CERT® C 规则的情形。此选项的每个值对应一个要检查的编码标准子集。

设置选项

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

为何使用此选项

使用此选项指定代码中要检查的 CERT C 规则和建议子集。

分析完成后，结果列表窗格中会列出检测到的编码标准违规。在源窗格中，对于每项编码标准违规，Polyspace® 都会为与该违规相关的关键字或标识符显示一个 符号。

设置

默认值：all

all-rules

仅检查是否存在违反 CERT C 规则的情形。

有关规则和建议间差异的说明，请参阅 CERT C 网站。

CERT C:Rule ARR30-C
CERT C:Rule ARR32-C
CERT C:Rule ARR36-C
CERT C:Rule ARR37-C
CERT C:Rule ARR38-C
CERT C:Rule ARR39-C
CERT C:Rule CON30-C
CERT C:Rule CON31-C
CERT C:Rule CON32-C
CERT C:Rule CON33-C
CERT C:Rule CON35-C
CERT C:Rule CON36-C
CERT C:Rule CON37-C
CERT C:Rule CON40-C
CERT C:Rule CON41-C
CERT C:Rule CON43-C
CERT C:Rule DCL30-C
CERT C:Rule DCL31-C
CERT C:Rule DCL36-C
CERT C:Rule DCL37-C
CERT C:Rule DCL38-C
CERT C:Rule DCL39-C
CERT C:Rule DCL40-C
CERT C:Rule DCL41-C
CERT C:Rule ENV30-C
CERT C:Rule ENV31-C
CERT C:Rule ENV32-C
CERT C:Rule ENV33-C
CERT C:Rule ENV34-C
CERT C:Rule ERR30-C
CERT C:Rule ERR32-C
CERT C:Rule ERR33-C
CERT C:Rule ERR34-C
CERT C:Rule EXP30-C
CERT C:Rule EXP32-C
CERT C:Rule EXP33-C
CERT C:Rule EXP34-C
CERT C:Rule EXP35-C
CERT C:Rule EXP36-C
CERT C:Rule EXP37-C
CERT C:Rule EXP39-C
CERT C:Rule EXP40-C
CERT C:Rule EXP42-C
CERT C:Rule EXP43-C
CERT C:Rule EXP44-C
CERT C:Rule EXP45-C
CERT C:Rule EXP46-C
CERT C:Rule EXP47-C
CERT C:Rule FIO30-C
CERT C:Rule FIO32-C
CERT C:Rule FIO34-C CERT C:
CERT C:Rule FIO37-C
CERT C:Rule FIO38-C
CERT C:Rule FIO39-C
CERT C:Rule FIO40-C
CERT C:Rule FIO41-C
CERT C:Rule FIO42-C
CERT C:Rule FIO44-C
CERT C:Rule FIO45-C
CERT C:Rule FIO46-C
CERT C:Rule FIO47-C
CERT C:Rule FLP30-C
CERT C:Rule FLP32-C
CERT C:Rule FLP34-C
CERT C:Rule FLP36-C
CERT C:Rule FLP37-C
CERT C:Rule INT30-C
CERT C:Rule INT31-C
CERT C:Rule INT32-C
CERT C:Rule INT33-C
CERT C:Rule INT34-C
CERT C:Rule INT35-C
CERT C:Rule INT36-C
CERT C:Rule MEM30-C
CERT C:Rule MEM31-C
CERT C:Rule MEM33-C
CERT C:Rule MEM34-C
CERT C:Rule MEM35-C
CERT C:Rule MEM36-C
CERT C:Rule MSC30-C
CERT C:Rule MSC32-C
CERT C:Rule MSC33-C
CERT C:Rule MSC37-C
CERT C:Rule MSC38-C
CERT C:Rule MSC39-C
CERT C:Rule MSC40-C
CERT C:Rule POS30-C
CERT C:Rule POS33-C（已弃用）
CERT C:Rule POS34-C
CERT C:Rule POS35-C
CERT C:Rule POS36-C
CERT C:Rule POS37-C
CERT C:Rule POS38-C
CERT C:Rule POS39-C
CERT C:Rule POS44-C
CERT C:Rule POS48-C
CERT C:Rule POS49-C
CERT C:Rule POS51-C
CERT C:Rule POS52-C
CERT C:Rule POS54-C
CERT C:Rule PRE30-C
CERT C:Rule PRE31-C
CERT C:Rule PRE32-C
CERT C:Rule SIG30-C
CERT C:Rule SIG31-C
CERT C:Rule SIG34-C
CERT C:Rule SIG35-C
CERT C:Rule STR30-C
CERT C:Rule STR31-C
CERT C:Rule STR32-C
CERT C:Rule STR34-C
CERT C:Rule STR37-C
CERT C:Rule STR38-C
CERT C:Rule WIN30-C
publish-2016

根据 2016 版 SEI CERT C 编码标准的定义，仅检查是否存在违反 CERT C 规则的情形。

有关规则和建议间差异的说明，请参阅 CERT C 网站。

CERT C:Rule ARR30-C
CERT C:Rule ARR32-C
CERT C:Rule ARR36-C
CERT C:Rule ARR37-C
CERT C:Rule ARR38-C
CERT C:Rule ARR39-C
CERT C:Rule CON30-C
CERT C:Rule CON31-C
CERT C:Rule CON32-C
CERT C:Rule CON33-C
CERT C:Rule CON35-C
CERT C:Rule CON36-C
CERT C:Rule CON37-C
CERT C:Rule CON40-C
CERT C:Rule CON41-C
CERT C:Rule DCL30-C
CERT C:Rule DCL31-C
CERT C:Rule DCL36-C
CERT C:Rule DCL37-C
CERT C:Rule DCL38-C
CERT C:Rule DCL39-C
CERT C:Rule DCL40-C
CERT C:Rule DCL41-C
CERT C:Rule ENV30-C
CERT C:Rule ENV31-C
CERT C:Rule ENV32-C
CERT C:Rule ENV33-C
CERT C:Rule ENV34-C
CERT C:Rule ERR30-C
CERT C:Rule ERR32-C
CERT C:Rule ERR33-C
CERT C:Rule EXP30-C
CERT C:Rule EXP32-C
CERT C:Rule EXP33-C
CERT C:Rule EXP34-C
CERT C:Rule EXP35-C
CERT C:Rule EXP36-C
CERT C:Rule EXP37-C
CERT C:Rule EXP39-C
CERT C:Rule EXP40-C
CERT C:Rule EXP42-C
CERT C:Rule EXP43-C
CERT C:Rule EXP44-C
CERT C:Rule EXP45-C
CERT C:Rule EXP46-C
CERT C:Rule FIO30-C
CERT C:Rule FIO32-C
CERT C:Rule FIO34-C CERT C:
CERT C:Rule FIO37-C
CERT C:Rule FIO38-C
CERT C:Rule FIO39-C
CERT C:Rule FIO40-C
CERT C:Rule FIO41-C
CERT C:Rule FIO42-C
CERT C:Rule FIO44-C
CERT C:Rule FIO45-C
CERT C:Rule FIO46-C
CERT C:Rule FIO47-C
CERT C:Rule FLP30-C
CERT C:Rule FLP32-C
CERT C:Rule FLP34-C
CERT C:Rule FLP36-C
CERT C:Rule FLP37-C
CERT C:Rule INT30-C
CERT C:Rule INT31-C
CERT C:Rule INT32-C
CERT C:Rule INT33-C
CERT C:Rule INT34-C
CERT C:Rule INT35-C
CERT C:Rule INT36-C
CERT C:Rule MEM30-C
CERT C:Rule MEM31-C
CERT C:Rule MEM33-C
CERT C:Rule MEM34-C
CERT C:Rule MEM35-C
CERT C:Rule MEM36-C
CERT C:Rule MSC30-C
CERT C:Rule MSC32-C
CERT C:Rule MSC33-C
CERT C:Rule MSC37-C
CERT C:Rule MSC38-C
CERT C:Rule MSC39-C
CERT C:Rule MSC40-C
CERT C:Rule PRE30-C
CERT C:Rule PRE31-C
CERT C:Rule PRE32-C
CERT C:Rule SIG30-C
CERT C:Rule SIG31-C
CERT C:Rule SIG34-C
CERT C:Rule SIG35-C
CERT C:Rule STR30-C
CERT C:Rule STR31-C
CERT C:Rule STR32-C
CERT C:Rule STR34-C
CERT C:Rule STR37-C
CERT C:Rule STR38-C
all

检查是否存在违反 Polyspace 支持的所有 CERT C 规则和建议的情形。

请参阅 CERT C 规则和建议。

from-file

指定一个 XML 文件，您可以在其中针对此编码标准配置自定义检查项选择。要创建配置文件，请点击 ，然后从检查项选择窗口的右侧窗格中，选择此编码标准中要检查的规则和建议。保存该文件。

要使用或更新某个现有配置文件，请在检查项选择窗口中，在提供的字段中输入该文件的完整路径，或者点击浏览。

如果您将选项设置为 from-file，请启用使用文件设置检查项 (-checkers-selection-file)。

依赖关系

  • 仅在您将Source code language (-lang) 设置为 C 或 C-CPP 时，此选项才可用。

    对于具有混合 C 和 C++ 代码的工程，SEI CERT-C 检查项仅分析 .c 文件。

命令行信息

在命令行中使用 -cert-c 命令检查是否存在违反 CERT C 规则和建议的情形。

参数：-cert-c
值：all-rules | publish-2016 | all | from-file
示例 (Bug Finder)：polyspace-bug-finder -lang c -sources file_name -cert-c all-rules
示例 (Bug Finder Server)：polyspace-bug-finder-server -lang c -sources file_name -cert-c all-rules

或者，通过检查项激活 XML 文件启用所有或特定 CERT C 规则和建议。请参阅检查项激活文件 (-checkers-activation-file)。

另请参阅

主题