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

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

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

Документация Polyspace Code Prover

Поддержка