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