Fix Errors or Slow Polyspace Runs from Disk Defragmentation and Anti-virus Software
Issue
In some cases, anti-virus software checks can noticeably slow down a Polyspace® analysis. This reduction occurs because the software checks the temporary files produced by the Polyspace analysis.
You see noticeably slow analysis for a simple project or the analysis stops with an error message like the following:
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. --- --- --- ---------------------------------------------------------------------------
Possible Cause
A disk defragmentation tool or anti-virus software is running on your machine.
After starting an analysis, check the processes running and see if an anti-virus process is causing large amount of CPU usage (and possibly memory usage).
Solution
Try:
Stopping the disk defragmentation tool.
Deactivating the anti-virus software. Or, configuring exception rules for the anti-virus software to allow Polyspace to run without a failure.
For instance, you can try the following:
Configure the anti-virus software to allow the Polyspace executables.
For instance, in Windows®, with the anti-virus software Windows Defender, you can add an exclusion for the Polyspace installation folder
C:\Program Files\Polyspace\R2019a
, in particular, the.exe
files in the subfolderpolyspace\bin
and the.exe
files starting withpolyspace
in the subfolderbin\win64
(for instance,polyspace-internal-connector.exe
).Configure the anti-virus software to exclude your temporary folder, for example,
C:\Temp
, from the checking process.