Просмотр информации об ошибках при остановке анализа
Проверьте сообщения об ошибках в пользовательском интерфейсе или файле журнала, если анализ не завершен.
Ошибки, связанные с общим компилятором
Диагностируйте ошибки компиляции Polyspace после указания универсального компилятора.
Ошибки, связанные с компилятором Keil или IAR
Диагностируйте, почему Polyspace ® не может найти идентификатор при указании компилятора Keil или IAR.
Ошибки, связанные с компилятором Diab
Диагностируйте ошибки компиляции Polyspace после указания компилятора Diab.
Ошибки, связанные с компилятором Green Hills
Диагностика ошибок компиляции Polyspace после указания компилятора Green Hills
Ошибки, связанные с компилятором TASKING
Диагностируйте ошибки компиляции Polyspace после указания компилятора TASKING.
Ошибки при внутриклассовой инициализации (C++)
Узнайте, почему статические элементы данных класса не могут быть инициализированы в определении класса.
Ошибки в двойных объявлениях функций библиотеки стандартных шаблонов (C++)
Диагностируйте, почему двойные объявления стандартных функций библиотеки шаблонов приводят к сбоям компиляции.
Ошибки, связанные с компилятором GNU
Диагностика ошибок компиляции, связанных с компилятором GNU ®.
Ошибки, связанные с визуальными компиляторами
Диагностика ошибок компиляции, связанных с компилятором Visual ®
Ошибки из конфликтов с файлами заголовков Polyspace
Узнайте, почему ошибки связывания могут возникнуть, когда компилятор переопределяет стандартные библиотечные функции и как обойти причину.
Ошибки при использовании пространства имен std без префикса
Обойти ошибки от использования членов std пространство имен без явного указания std:: объем
Ошибки из функций утверждения или выделения памяти
Узнайте, почему проверка отменяет ваше переопределение функций утверждения или выделения памяти.
Ошибка или медленный запуск с дефрагментации диска и антивирусного ПО
Диагностика ошибок, связанных с дефрагментацией диска и антивирусным ПО.
Определите причину, по которой при проверке не удалось создать папку для временного хранилища файлов.
Устраните ошибку лицензии -4,0 при выполнении анализа Polyspace.
Устраните ошибку ввода-вывода SQLite при выполнении анализа Polyspace.
Обратитесь в службу технической поддержки по вопросам работы Polyspace
Узнайте, какая техническая поддержка MathWorks ® необходима вам для диагностики проблемы.