Диагностируйте анализ в ИДАХ

Ошибки в рабочем Polyspace® от Eclipse™

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

Версия Eclipse Java, несовместимая с плагином Polyspace

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

Контакт с технической поддержкой

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