仅分析类内容 (-class-only)

不分析类方法以外的代码

描述

此选项仅影响 Code Prover 分析。

此选项不适用于从 MATLAB® 代码或 Simulink® 模型生成的代码。

指定 Polyspace® 必须仅验证使用类 (-class-analyzer) 选项指定的类的方法。

设置选项

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

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后选择此选项。有关您必须先启用的其他选项，请参阅依赖关系。

  • 命令行和选项文件：请使用 -class-only 选项。请参阅命令行信息。

为何使用此选项

使用此选项来将分析限制为仅针对特定类方法。

您通过以下选项指定这些方法：

当您分析模块或库时，如果不存在 main 函数，则 Code Prover 将生成该函数。main 函数使用这两个选项调用类方法，并使用其他选项调用非类方法的函数。Code Prover 会分析这些方法和函数对所有输入的稳健性。如果使用此选项，则 Code Prover 仅分析方法。

设置

打开

Polyspace 仅验证类方法。即使类作用域之外的函数在您的代码中定义，它也会对这些函数进行插桩。

关闭（默认值）

Polyspace 除验证类方法外，还会验证类作用域之外的函数。

依赖关系

仅当以下所有条件均成立时，您才能使用此选项：

如果您的代码包含 main 函数，则此选项将被忽略。

提示

使用此选项的场景：

  • 用于类方法的稳健性验证。除非使用此选项，否则 Polyspace 仅针对您的输入组合验证您在代码中调用的方法。

  • 在规模情况下。

命令行信息

参数：-class-only
默认值：关闭
示例 (Code Prover)：polyspace-code-prover -sources file_name -main-generator -class-analyzer custom=myClass1,myClass2 -class-analyzer-calls unused-public -class-only
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -main-generator -class-analyzer custom=myClass1,myClass2 -class-analyzer-calls unused-public -class-only

另请参阅

| |

主题