Exponenta Banner

Ошибка или медленные запуски от дисковой дефрагментации и антивирусного программного обеспечения

Проблема

В некоторых случаях проверки антивирусного программного обеспечения могут заметно замедлить анализ 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, от процесса проверки.

Документация Polyspace Code Prover Server
Поддержка