Эти темы описывают, как запустить Polyspace® анализ полных проектов Eclipse с помощью Polyspace Bug Finder. Для Polyspace, когда Вы Кодируете плагин, видите Polyspace Запуска, когда Вы Кодируете в Eclipse и Рассматриваете Результаты.
Можно выполнить анализ 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.
