Exponenta Banner
exponenta event 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 можно добавить исключение для папки установки PolyspaceC:\Program Files\Polyspace\R2019a, в частности, .exe файлы во вложенной папке polyspace\bin и .exe файлы, начинающиеся с ps_ во вложенной папке bin\win64.

    • Настройте антивирусное программное обеспечение, чтобы исключить временную папку, например: C:\Temp, из процесса проверки.

      См. раздел Хранение временных файлов.

Документация для поиска ошибок Polyspace

Поддержка