-max-processes

-max-processes num 指定您希望分析使用的最大进程数量。在多核系统上，软件会以并行方式进行分析，并创建指定数量的进程以加快分析速度。num 的有效范围是 1 到 128。

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

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

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

请注意，当您启动验证时，系统会显示一条消息，指明在系统上检测到的逻辑处理器数量。但是，分析会根据计算机上的物理处理器内核进行并行处理。多线程实现（例如超线程技术）不在考虑范围内。

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