结构体内部的验证深度 (-k-limiting)
限制对嵌套结构体的分析深度
描述
此选项仅影响 Code Prover 分析。
指定对嵌套结构体的分析深度的限制。
设置选项
用户界面（仅限桌面端产品）：在您的工程配置中，此选项位于规模节点上。
用户界面（仅限 Polyspace 平台、桌面端产品）：在您的工程配置中，相关选项位于运行时错误 > 精确度节点的静态分析选项卡上。在 Polyspace 平台用户界面中，此选项拆分为两个选项：设置结构体内部的验证深度和结构体内部的验证深度 (-k-limiting)。
为何使用此选项
如果因为代码中的某个结构体有许多层级而导致分析速度缓慢，可使用此选项。
通常，当具有很深的层次结构的结构体拖慢了验证速度时，您会看到一条警告消息。
依赖关系
要在 Polyspace 平台用户界面中使用此选项，您必须将设置结构体内部的验证深度选项设置为打开 (
)。
设置
默认值：分析嵌套结构体的完整深度。
请输入一个数字来指定对嵌套结构体的分析深度。例如，如果您指定 0，则分析不会验证结构体内的结构体。
如果您指定的数字小于 2，则验证可能没有那么精确。
命令行信息
参数：-k-limiting |
值： |
示例 (Code Prover)：polyspace-code-prover -sources
|
示例 (Code Prover Server)：polyspace-code-prover-server -sources
|
