В этих разделах описывается, как выполнять анализ Polyspace ® для полных проектов Eclipse с помощью Polyspace Bug Finder или Polyspace Code Prover. Сведения о плагине Polyspace as You Code см. в разделе Запуск Polyspace as You Code in Eclipse (Polyspace Bug Finder Access).
Анализ Polyspace можно выполнить полностью в среде IDE Eclipse.
Для просмотра только информации, связанной с анализом Polyspace, переключитесь на ракурс Polyspace в среде IDE Eclipse. Выберите меню «Окно» > «Открыть перспективу» > «Прочее». В диалоговом окне «Открыть перспективу» выберите «Полиспейс».
Установка подключаемого модуля Polyspace Desktop для Eclipse
Установите подключаемый модуль Polyspace для проверки кода в среде IDE Eclipse.
Выполнить анализ пространства в проектах затмения
Запуск Polyspace для исходных файлов в проекте Eclipse с использованием настольных продуктов Polyspace.
Задание параметров компилятора Polyspace через проект Eclipse
Настройте анализ Polyspace из цепочки инструментов компиляции или команды build в Eclipse.