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

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

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

Обновите версию Eclipse Java для плагина Polyspace

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

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

Учитесь что MathWorks® Техническая поддержка должна от вас диагностировать проблему.