В этом разделе описывается, как запустить Polyspace® анализ на проектах полного Eclipse™ с помощью Polyspace Bug Finder или Polyspace Code Prover. Для плагина Polyspace as You Code смотрите Запуск Polyspace as You Code в Eclipse (Polyspace Bug Finder Access).
Если вы разрабатываете код в Eclipse или основанной на Eclipse IDE, можно установить плагин Polyspace и запустить анализ Polyspace на исходных файлах в проекте Eclipse. Можно проверять ошибки каждый раз, когда вы сохраняете код, или явно запускать анализ.
В этом разделе описывается, как настроить анализ Polyspace в Eclipse и просмотреть результаты анализа.
После установки плагина Polyspace вы увидите меню Polyspace и опции правой кнопкой мыши в Project Explorer, чтобы запустить анализ Polyspace.
Индикатор прогресса анализа, результаты быстрых кнопок Run и анализа появляются на определенных панелях. Чтобы избежать загромождения окна, можно ограничить эти панели перспективой Polyspace. Выберите Window > Open Perspective > Other. В диалоговом окне «Открыть перспективу» выберите Polyspace. Можно переключиться назад на другие перспективы с помощью вкладок в правом верхнем углу.
Polyspace анализирует исходные файлы в вашем проекте Eclipse. В дополнение к источникам анализ использует следующую информацию:
Компилятор: Набор инструментов компилятора может быть извлечен из вашего проекта Eclipse. Если проект непосредственно ссылается на набор инструментов компиляции, такой как MinGW GCC, анализ Polyspace может использовать информацию.
Если ваш проект Eclipse использует команду build (make-файл), которая имеет информацию о компиляторе, необходимо выполнить несколько дополнительных шагов, чтобы извлечь эту информацию для анализа Polyspace.
Если Polyspace не может извлечь информацию компилятора из команды build, можно также явным образом задать опции компилятора, как и другие опции анализа.
См. «Задание компилятора Polyspace Опций проекте Through Eclipse».
Другие опции анализа: Можно сохранить опции анализа по умолчанию или настроить их под свои требования. Выберите Polyspace > Configure Project.
Ключевые опции:
Target & Compiler: Если вы не указали информацию о компиляторе через проект Eclipse, используйте эти опции.
Bug Finder Analysis: Укажите, какие дефекты необходимо проверить при анализе Bug Finder.
Code Prover Verification, Check Behavior, Precision: Изменение поведения шашек при верификации Code Prover.
Обратите внимание, что вы не можете запустить удаленный анализ с помощью плагина Polyspace для Eclipse. Чтобы отправить задание анализа в удаленный кластер, запустите анализ с пользовательского интерфейса Polyspace или с помощью скриптов. Смотрите Анализ Polyspace на кластерах.
После строения можно явно начать и остановить анализ Polyspace из меню Polyspace, щелкнуть правой кнопкой мыши опции на проекте Eclipse или быстро кнопках Run в панелях Polyspace. Переключаться между Bug Finder и Code Prover можно с помощью
значка на панели Polyspace Run.
В перспективе Polyspace можно настроить анализ Bug Finder, который запускается каждый раз, когда вы сохраняете код. Чтобы включить этот анализ, выберите Polyspace > Run Fast Analysis on Save. Анализ выполняется быстро, но ищет уменьшенный набор дефектов. Результаты получаются так же, как если бы вы определили опцию анализа Use fast analysis mode for Bug Finder (-fast-analysis).
После анализа результаты появляются на панели Results List. Щелкните каждый результат, чтобы просмотреть исходный код и сведения о нем на панели Result Details.
Некоторые результаты анализа Bug Finder часто доступны до завершения анализа. Если это так,
то значок на панели Polyspace Run - Bug Finder поворачивается на. 
Чтобы загрузить доступные результаты, щелкните этот значок. Значок снова показы, когда доступны дополнительные результаты.
Основываясь на деталях результата, исправьте код или подтвердите результат. Чтобы обосновать результат, установите его Status равной Justified, No Action Planned или Not a Defect. Чтобы скрыть обоснованный результат при следующем запуске, добавьте статус аннотации к исходному коду. См. раздел «Аннотации кода» и «Скрыть известные или приемлемые результаты».
Для быстрой аннотации щелкните правой кнопкой мыши результат и выберите Annotate Code and Hide Result. Опция добавляет аннотации в этом формате и скрывает результат из списка результатов:
line of code; /* polyspace Family:Result_name */
