仅显示全局变量的共享和使用情况 (`-shared-variables-mode`)

R2026b

在不运行完整分析的情况下，计算全局变量的共享和使用情况

描述

此选项仅影响 Code Prover 分析。

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

指定此选项以运行计算整个应用程序中全局变量的共享和使用情况的规模较小的分析。该分析不会验证您的代码是否存在运行时错误。如果您启用编码标准检查，分析结果还会包含编码标准违规；如果您启用代码度量计算，分析结果还会包含代码度量。

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

Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后选择此选项。有关您必须先启用的其他选项，请参阅依赖关系。
命令行和选项文件：请使用 -shared-variables-mode 选项。请参阅命令行信息。
Python^® API：在静态分析配置中设置 SharedVariablesMode 属性。请参阅 polyspace.project.StaticAnalysisConfiguration (Polyspace Test)。
TOML 配置文件 (.toml.pscfg) - 在 [CodeProverVerification] 表中使用键 SharedVariablesMode。例如：
```
[CodeProverVerification]
SharedVariablesMode = true
```

您无需对整个应用程序运行包括运行时错误检测的完整分析，即可查看全局变量的共享和使用情况。对整个应用程序执行运行时错误检测可能需要很长时间。

在您分析整个应用程序以查看全局变量的共享和使用情况后，请逐组件运行 Code Prover 分析以检测运行时错误。
在桌面端产品中，您可以在Polyspace 平台用户界面中的“全局变量使用” (Polyspace Code Prover)窗格中查看对全局变量的所有读取和写入操作。
在此规模较小的分析模式下，分析会检查大部分但并非所有编码标准违规，并计算大部分但并非所有代码度量。

参数：-shared-variables-mode

默认值：关闭

示例 (Code Prover)：polyspace-code-prover -sources file_name -shared-variables-mode -enable-concurrency-detection

示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -shared-variables-mode -enable-concurrency-detection

在 R2019b 中推出