Можно выполнить анализ Polyspace® полностью в Eclipse IDE.
Чтобы просмотреть только информацию, связанную с анализом Polyspace, переключитесь на перспективу Polyspace в своем Eclipse IDE. Выберите Window> Open Perspective> Other. В диалоговом окне Open Perspective выберите Polyspace.
Установите плагин рабочего стола Polyspace для Eclipse
Установите плагин Polyspace, чтобы проверить код в вашем Eclipse IDE.
Запустите анализ Polyspace проектов Eclipse
Запустите Polyspace на исходных файлах в проекте Eclipse с помощью десктопных решений Polyspace.
Задайте параметры компилятора Polyspace через проект Eclipse
Сконфигурируйте анализ Polyspace от своего набора инструментальных средств компиляции или создайте команду в Eclipse.
