В некоторых случаях проверки антивирусного программного обеспечения могут заметно замедлить анализ 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 антивирусного программного обеспечения, можно добавить исключение для папки C:\Program Files\Polyspace\R2019a установки Polyspace, в частности, файлов .exe в подпапке polyspace\bin и файлов .exe начиная с ps_ в подпапке bin\win64.
Сконфигурируйте антивирусное программное обеспечение, чтобы исключить вашу временную папку, например, C:\Temp, от процесса проверки.