解决因磁盘碎片整理和防病毒软件导致的错误或 Polyspace 运行缓慢问题
问题
在某些情况下，防病毒软件检查可能会显著减慢 Polyspace® 分析的速度。出现这种速度降低是因为此软件会检查 Polyspace 分析产生的临时文件。
您会看到，即便是分析一个简单的工程，速度也明显变慢，或者分析停止并显示如下错误信息：
Some stats on aliases use:
Number of alias writes: 22968
Number of must-alias writes: 3090
Number of alias reads: 0
Number of invisibles: 949
Stats about alias writes:
biggest sets of alias writes: foo1:a (733), foo2:x (728), foo1:b (728)
procedures that write the biggest sets of aliases: foo1 (2679), foo2 (2266),
foo3 (1288)
**** C to intermediate language translation - 17 (P_PT) took 44real, 44u + 0s (1.4gc)
exception SysErr(OS.SysErr(name="Directory not empty", syserror=notempty)) raised.
unhandled exception: SysErr: No such file or directory [noent]
--------------------------------------------------------------------------
--- ---
--- Verifier has encountered an internal error. ---
--- Please contact your technical support. ---
--- ---
--------------------------------------------------------------------------- 可能的原因
您的计算机上正在运行磁盘碎片整理工具或防病毒软件。
在开始分析之后，请检查正在运行的进程，查看是否有防病毒进程正在占用大量 CPU（以及可能的内存）资源。
解决方案
尝试：
停止磁盘碎片整理工具。
停用防病毒软件。或者，为防病毒软件配置例外规则，以允许 Polyspace 正常运行而不发生故障。
例如，您可以尝试以下操作：
配置防病毒软件以允许 Polyspace 可执行文件运行。
例如，在 Windows® 中，如果使用防病毒软件 Windows Defender，则可以为 Polyspace 安装文件夹
C:\Program Files\Polyspace\R2019a添加排除项，特别是子文件夹polyspace\bin中的.exe文件，以及子文件夹bin\win64中以polyspace开头的.exe文件（例如polyspace-internal-connector.exe）。配置防病毒软件，以将临时文件夹（例如，
C:\Temp）从检查扫描过程中排除。
