验证时限 (-timeout)

指定分析的时间限制

描述

指定 Polyspace® Bug Finder™ 或 Polyspace Code Prover™ 分析的时间限制（以小时为单位）。如果分析在该时限内未完成，分析将停止。

设置选项

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

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上选择计算设置节点，然后为此选项输入一个值。

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

为何使用此选项

使用此选项对分析施加时间限制。

例如，如果 Code Prover 分析中的某个内部步骤持续超过 24 小时，分析将停止。您可以使用此选项进一步缩短时间限制。请注意，即使分析超时，您仍可以得到分析结果。例如，如果软件安全分析等级 1 (Code Prover) 中的某个步骤超时，您仍会得到等级 0 的分析结果。请参阅验证等级 (-to)。

此选项仅在非常特定的情况下有用。假设您的代码具有某些可能减慢分析速度的构造。为了检查这一情况，您可以对分析施加时间限制，使分析在耗时过长时自动停止。

通常，技术支持会根据需要要求您使用此选项。

设置

以小时为单位输入时间。对于不足一小时的部分，请以小数形式指定。

命令行信息

参数：-timeout
值：time
示例 (Code Prover)：polyspace-code-prover -sources file_name -timeout 5.75
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -timeout 5.75
示例 (Bug Finder)：polyspace-bug-finder -sources file_name -timeout 5.75
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -timeout 5.75

另请参阅

主题