Во время анализа Polyspace ® создает несколько временных файлов. Следующие проблемы связаны с хранением временных файлов.
При выполнении проверки появляется сообщение об ошибке, что программе Polyspace не удалось создать папку для записи временных файлов. Например, сообщение об ошибке может быть следующим:
Unable to create folder "C:\Temp\Polyspace\foldername
Во время анализа Polyspace создает несколько временных файлов. Если у вас нет разрешений на запись для папки, используемой для хранения файлов, вы можете столкнуться с ошибкой.
Существует два возможных решения этой ошибки:
Измените разрешения временной папки, чтобы иметь полные права на чтение и запись.
Сведения о том, как Polyspace определяет расположение временной папки, см. в разделе Хранение временных файлов.
Использовать опцию -tmp-dir-in-results-dir. Вместо стандартной временной папки Polyspace использует подпапку папки результатов.
При выполнении проверки появляется сообщение об ошибке об отсутствии места на устройстве.
Если для папки, используемой для хранения файлов, недостаточно свободного места, возникает ошибка.
Существует два возможных решения этой ошибки:
Измените временную папку на диск, на котором достаточно места.
Сведения о том, как Polyspace определяет расположение временной папки, см. в разделе Хранение временных файлов.
Использовать опцию -tmp-dir-in-results-dir. Вместо стандартной временной папки Polyspace использует подпапку папки результатов.
При выполнении проверки появляется сообщение об ошибке, что программе Polyspace не удалось открыть временный файл.
Путь для хранения временных файлов определяется с помощью переменной среды RTE_TMP_DIR. Вы либо использовали относительный путь для временной папки, либо папка не существует, либо у вас нет прав доступа к ней.
Существует два возможных решения этой ошибки:
Вместо определения временной папки, специфичной для Polyspace через RTE_TMP_DIRиспользуйте стандартную временную папку.
Сведения о том, как Polyspace определяет расположение временной папки, см. в разделе Хранение временных файлов.
Если вы продолжаете использовать RTE_TMP_DIRубедитесь, что указан абсолютный путь к существующей папке и у вас есть права доступа к ней.