В некоторых случаях проверки антивирусного ПО могут заметно замедлить работу 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. --- --- --- ---------------------------------------------------------------------------
На вашем компьютере работает инструмент дефрагментации диска или антивирусное программное обеспечение.
После запуска анализа проверьте выполняемые процессы и проверьте, является ли антивирусный процесс причиной большого количества использования ЦП (и, возможно, использования памяти).
Попробуй:
Остановка инструмента дефрагментации диска.
Деактивация антивирусного ПО. Кроме того, настройка правил исключений для антивирусного ПО позволяет Polyspace запускаться без отказов.
Например, можно попробовать следующее:
Сконфигурируйте антивирусное программное обеспечение для размещения исполняемых файлов Polyspace в белом списке.
Например, в Windows®, с помощью антивирусного программного обеспечения Windows Defender, можно добавить исключение для папки установки Polyspace C:\Program Files\Polyspace\R2019a
, в частности, .exe
файлы в подпапке polyspace\bin
и .exe
файлы, начинающиеся с ps_
в подпапке bin\win64
.
Настройте антивирусное ПО, чтобы исключить временную папку, например C:\Temp
, из процесса проверки.
См. «Хранение временных файлов».