-max-processes

-max-processes num 指定分析要使用的最大进程数。在多核系统上，软件将分析并行化，并创建指定数量的进程以加快分析速度。num 的有效范围为 1 到 128。

除非您指定此选项，否则 Code Prover 验证最多使用四个进程。如果进程少于四个，则验证将使用可用的最大数值。要增加或限制进程数，请使用此选项。

除非您指定此选项，否则 Bug Finder 分析将使用可用的最大进程数。使用此选项可限制使用的进程数。

要有效使用此选项，请确定可用的处理器数量。如果您创建的进程数大于可用处理器数，则分析无法从并行化中获益。检查操作系统中的系统信息。

请注意，当您开始验证时，会显示一条消息，说明在您的系统上检测到的逻辑处理器数量。然而，该分析被并行化到机器上的物理处理器核心。多线程实现（如超线程技术）未被考虑在内。

在用户界面（仅限 Polyspace^® 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。