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