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