63、优化 Polyspace 分析：减少内存使用和时间消耗

优化 Polyspace 分析：减少内存使用和时间消耗

1. Polyspace 分析常见问题及解决办法

在使用 Polyspace 进行代码验证时，可能会遇到一些问题，下面为你详细介绍这些问题及对应的解决办法。

1.1 验证卡住或内存不足问题

验证过程中可能会出现卡在某一点很长时间的情况，有时在无活动时间超过内部阈值后，验证会停止或出现错误信息，如 “The analysis has been stopped by timeout”。对于包含数百个源文件或数百万行代码的大型项目，还可能出现 “Fatal error: Not enough memory” 的错误。

若你使用的是拥有超过四个处理器的多核系统，可以尝试使用 -max-processes 选项增加处理器数量。默认情况下，验证最多使用四个处理器；若处理器少于四个，则使用最大可用数量。不过，每个处理器至少需要 4GB 的 RAM 用于分析。例如，若你的机器有 16GB 的 RAM，不要使用该选项指定超过四个处理器。

若验证仍然耗时过长，可以尝试以下解决办法：
- 临时文件夹在网络驱动器上 ：Polyspace 分析时会产生一些临时文件，若存储这些文件的文件夹在网络驱动器上，分析速度会变慢。解决办法是将临时文件夹更改为本地驱动器上的路径。
- 杀毒软件影响 ：某些情况下，杀毒软件的检查会显著减慢 Polyspace 分析速度，因为它会检查 Polyspace 分析产生的临时文件。你可以检查运行的进程，查看杀毒软件是否占用大量内存，并参考相关文档配置例外情况