结构体内部的验证深度 (`-k-limiting`)

限制对嵌套结构体的分析深度

描述

此选项仅影响 Code Prover 分析。

指定对嵌套结构体的分析深度的限制。

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

Polyspace^® 用户界面（仅限桌面端产品）：在您的工程配置中，选择规模节点，然后为此选项选择一个值。
Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误 > 规模节点，然后选择此选项。有关您必须先启用的其他选项，请参阅依赖关系。
命令行和选项文件：请使用 -k-limiting 选项。请参阅命令行信息。

如果因为代码中的某个结构体有许多层级而导致分析速度缓慢，可使用此选项。

通常，当具有很深的层次结构的结构体拖慢了验证速度时，您会看到一条警告消息。

要在 Polyspace 平台用户界面中使用此选项，您必须将设置结构体内部的验证深度选项设置为打开 ()。

默认值：分析嵌套结构体的完整深度。

请输入一个数字来指定对嵌套结构体的分析深度。例如，如果您指定 0，则分析不会验证结构体内的结构体。

如果您指定的数字小于 2，则验证可能没有那么精确。

参数：-k-limiting

值：positive integer

示例 (Code Prover)：polyspace-code-prover -sources file_name -k-limiting 3

示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -k-limiting 3