В этих разделах описывается, как запустить Polyspace® анализ на полных проектах Eclipse с использованием Polyspace Bug Finder или Polyspace Code Prover. Для плагина Polyspace as You Code смотрите Запуск Polyspace as You Code в Eclipse (Polyspace Bug Finder Access).
Анализ 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.
