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