Диагностируйте ошибки компиляции

Неопределенный идентификатор, неизвестный прототип функции, конфликтные объявления, и так далее

Диагностируйте ошибки, запускающие polyspace-bug-finder-server команда.

Поиск и устранение проблем

Ошибки компиляции: конкретный компилятор

Ошибки, связанные с типовым компилятором

Диагностируйте ошибки компиляции Polyspace после того, как вы зададите типовой компилятор.

Ошибки, связанные с Keil или IAR Compiler

Диагностируйте, почему Polyspace® не может найти идентификатор, когда вы задаете компилятор Keil или IAR.

Ошибки, связанные с компилятором Diab

Диагностируйте ошибки компиляции Polyspace после того, как вы зададите компилятор Diab.

Ошибки, связанные с компилятором Green Hills

Диагностируйте ошибки компиляции Polyspace после того, как вы зададите компилятор Green Hills

Ошибки, связанные с ОПРЕДЕЛЕНИЕМ ЗАДАЧУ для компилятора

Диагностируйте ошибки компиляции Polyspace после того, как вы зададите ОПРЕДЕЛЯЮЩИЙ ЗАДАЧУ компилятор.

Компиляция (только C++)

Ошибки от инициализации в классе (C++)

Изучите, почему статические элементы данных класса не могут быть инициализированы в определении класса.

Ошибки от двойных объявлений функций стандартной библиотеки шаблонов (C++)

Диагностируйте, почему двойные объявления стандартной библиотеки шаблонов функционируют отказы компиляции причины.

Ошибки, связанные с компилятором GNU

Диагностируйте ошибки компиляции, сопоставленные с компилятором GNU®.

Ошибки, связанные с визуальными компиляторами

Диагностируйте ошибки компиляции, сопоставленные с компилятором Visual®

Соединение ошибок

Ошибки от конфликтов с заголовочными файлами Polyspace

Изучите, почему соединение ошибок может произойти, когда ваш компилятор переопределяет стандартные библиотечные функции и как работать вокруг причины.

Ошибки от Использования станд. Пространства имен Без Префикса

Работа вокруг ошибок от использования членов std пространство имен, явным образом не задавая std:: осциллограф

Ошибки от функций утверждения или выделения памяти

Изучите, почему верификация отбрасывает ваше переопределение функций выделения памяти или утверждения.

Другие ошибки

Ошибка или медленные запуски от дисковой дефрагментации и антивирусного программного обеспечения

Диагностируйте ошибки, сопоставленные с дисковой дефрагментацией и антивирусным программным обеспечением.

Ошибка лицензии-4,0

Разрешите Ошибку лицензии-4,0 когда рабочий анализ Polyspace.

Ошибка ввода-вывода SQLite

Разрешите Ошибку ввода-вывода SQLite когда рабочий анализ Polyspace.

Техническая поддержка

Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace

Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.