Просмотрите информацию об ошибке, когда анализ остановится
Проверяйте сообщения об ошибке в пользовательский интерфейс или файл журнала, когда анализ не завершится.
Ошибки, связанные с типовым компилятором
Диагностируйте ошибки компиляции Polyspace после того, как вы зададите типовой компилятор.
Ошибки, связанные с Keil или IAR Compiler
Диагностируйте, почему Polyspace® не может найти идентификатор, когда вы задаете компилятор Keil или IAR.
Ошибки, связанные с компилятором Diab
Диагностируйте ошибки компиляции Polyspace после того, как вы зададите компилятор Diab.
Ошибки, связанные с компилятором Green Hills
Диагностируйте ошибки компиляции Polyspace после того, как вы зададите компилятор Green Hills
Ошибки, связанные с ОПРЕДЕЛЕНИЕМ ЗАДАЧУ для компилятора
Диагностируйте ошибки компиляции Polyspace после того, как вы зададите ОПРЕДЕЛЯЮЩИЙ ЗАДАЧУ компилятор.
Ошибки от инициализации в классе (C++)
Изучите, почему статические элементы данных класса не могут быть инициализированы в определении класса.
Ошибки от двойных объявлений функций стандартной библиотеки шаблонов (C++)
Диагностируйте, почему двойные объявления стандартной библиотеки шаблонов функционируют отказы компиляции причины.
Ошибки, связанные с компилятором GNU
Диагностируйте ошибки компиляции, сопоставленные с компилятором GNU®.
Ошибки, связанные с визуальными компиляторами
Диагностируйте ошибки компиляции, сопоставленные с компилятором Visual®
Ошибки от конфликтов с заголовочными файлами Polyspace
Изучите, почему соединение ошибок может произойти, когда ваш компилятор переопределяет стандартные библиотечные функции и как работать вокруг причины.
Ошибки от Использования станд. Пространства имен Без Префикса
Работа вокруг ошибок от использования членов std пространство имен, явным образом не задавая std:: осциллограф
Ошибки от функций утверждения или выделения памяти
Изучите, почему верификация отбрасывает ваше переопределение функций выделения памяти или утверждения.
Ошибка или медленные запуски от дисковой дефрагментации и антивирусного программного обеспечения
Диагностируйте ошибки, сопоставленные с дисковой дефрагментацией и антивирусным программным обеспечением.
Ошибка от специальных символов
Диагностируйте ошибки, сопоставленные с расширенными символами ASCII в именах файлов или именах папок.
Диагностируйте, почему верификации не удается создать папку для временного хранилища файлов.
Разрешите Ошибку лицензии-4,0 когда рабочий анализ Polyspace.
Разрешите Ошибку ввода-вывода SQLite когда рабочий анализ Polyspace.
Контакт с технической поддержкой
Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.
