Сконфигурируйте Polyspace, в то время как вы кодируете плагин в Eclipse

Эта тема описывает, как сконфигурировать Polyspace, когда Вы Кодируете плагин в Eclipse™. Для десктопных решений Polyspace, таких как Polyspace Bug Finder, смотрите Анализ Bug Finder На основе Проектов Eclipse.

Polyspace, когда Вы Кодируете, позволяет вам находить ошибки при кодировании в Eclipse IDE.

После установки Polyspace как Вы механизм Анализа кода и плагин Eclipse, сконфигурируйте плагин так, чтобы Polyspace^® анализ запускается гладко, когда вы сохраняете свой код или явным образом запускаете анализ. Анализ запустился гладко, если результаты появляются как ожидалось, или как маркеры исходного кода с подсказками или в списке на панели Results List.

Сконфигурировать плагин, в Eclipse, избранных элементах в меню Polyspace.

Чтобы задать опции, которые применимы к любому проекту в Eclipse, выберите Polyspace> Preferences.
Чтобы задать опции, которые применимы к одному проекту только, выберите Polyspace> Configure Project.
Имя проекта, который вы конфигурируете, перечислено в строке заголовка окна Configure Project.

Все настройки сохраняют свои текущие значения, когда вы переустанавливаете плагин.

Настройки

Установка	Описание
Polyspace as You Code installation folder	Корневая папка Polyspace, когда Вы Кодируете установку, например, `C:\Program Files\Polyspace as You Code\R2021b`.
Analysis launch mode	Выберите одну из этих опций, чтобы инициировать Polyspace как Вас Анализ кода: Automatically (значение по умолчанию): анализ запускается каждый раз, когда вы сохранили файл. Manually: Чтобы запустить анализ, щелкните правой кнопкой по исходному файлу и выберите Run Polyspace as You Code.
Results folder	Папка, где результаты анализа хранятся. Каждый новый запуск перезаписывает результаты предыдущего запуска. Папка результатов по умолчанию: Windows^®: `Documents\Polyspace_Workspace\EclipseProjects` где `Documents` папка Documents в Windows. Linux^®: `~/Polyspace_Workspace/EclipseProjects`
Polyspace Access URL	URL Polyspace доступ к экземпляру, от которого вы получаете базовую линию. После того, как вы получаете базовую линию из Polyspace доступ, последующие запуски Polyspace, когда Вы Кодируете, позволяют вам различать новые результаты и результаты, которые присутствовали в существующем коде. См. также Базовый Polyspace, когда Вы Кодируете Результаты в Eclipse.
Show only new findings compared to the results baseline	Задайте, нужно ли только новые результаты показать. Если вы выбираете эту опцию, результатами является по сравнению с базовой линией, загруженной с Polyspace доступ, и только новые результаты показывают. См. также Базовый Polyspace, когда Вы Кодируете Результаты в Eclipse.

Сконфигурируйте проект

Конфигурация сборки

Установка	Описание
Build options file not required	Вы не должны задавать опции Polyspace, связанные с вашей настройкой создания. Это - основная опция для простых проектов. Анализ использует опции сборки Polyspace по умолчанию. Так, чтобы анализ запустился без ошибок, обычно необходимо обеспечивать Polyspace, когда Вы Кодируете со спецификами вашей конфигурации сборки.
Get from Eclipse project (значение по умолчанию)	Анализ извлекает конфигурацию сборки из проекта Eclipse и генерирует файл опций сборки. Смотрите получают конфигурацию сборки из проекта Eclipse.
Get from Polyspace build options file	Анализ использует опции сборки, которые вы вручную задаете в файле опций. Предоставьте полный путь файлу опций.
Get from JSON Compilation Database file	Анализ извлекает конфигурацию сборки из базы данных компиляции JSON, которую вы задаете, и генерирует файл опций сборки. Смотрите Получают Конфигурацию сборки от Базы данных Компиляции JSON. Задайте полный путь к файлу JSON (обычно названный `compile_commands.json`). Затем нажмите Generate build configuration.
Get from build command	Анализ прослеживает команду сборки, которую вы задаете, и генерирует файл опций сборки. Задайте команду сборки и папку, от которой команда сборки должна быть запущена в установке Build command working folder. Затем нажмите Generate build configuration. Смотрите Получают Конфигурацию сборки от Команды Сборки.

Другие настройки Analysis

Установка	Описание
Checkers file	Путь к конфигурационному файлу средств проверки. Чтобы создать этот файл, кликните по значку папки. Включите средства проверки, что вы хотите и сохранили файл. См. также Конфигурируют Средства проверки для Polyspace, когда Вы Кодируете в Eclipse.
Analysis options file	Путь к файлу опций. Файл опций содержит одну опцию анализа Polyspace на строку. Например: -D _WIN32 -termination-functions exit_handler Вы обычно не должны задавать дополнительные опции в файле опций. Однако в некоторых ситуациях, вы можете хотеть использовать файл опций. Например, если вы хотите вручную указать, что опции Polyspace, связанные с вашей командой сборки, выбирают None для установки сборки и вводят опции в файл опций. См. также Файлы Опций для Анализа Polyspace.
*Import options from Polyspace desktop project (.psrpj)**	Импортируйте конфигурационный файл опций анализа и средств проверки из существующего файла проекта рабочего стола Polyspace. Смотрите Опции анализа Импорта из Проекта Рабочего стола Polyspace.

Установка

Описание

Checkers file

Путь к конфигурационному файлу средств проверки.

Чтобы создать этот файл, кликните по значку папки. Включите средства проверки, что вы хотите и сохранили файл.

См. также Конфигурируют Средства проверки для Polyspace, когда Вы Кодируете в Eclipse.

Analysis options file

Путь к файлу опций. Файл опций содержит одну опцию анализа Polyspace на строку. Например:

-D _WIN32
-termination-functions exit_handler

Вы обычно не должны задавать дополнительные опции в файле опций. Однако в некоторых ситуациях, вы можете хотеть использовать файл опций. Например, если вы хотите вручную указать, что опции Polyspace, связанные с вашей командой сборки, выбирают None для установки сборки и вводят опции в файл опций.

См. также Файлы Опций для Анализа Polyspace.

Import options from Polyspace desktop project (*.psrpj)

Импортируйте конфигурационный файл опций анализа и средств проверки из существующего файла проекта рабочего стола Polyspace. Смотрите Опции анализа Импорта из Проекта Рабочего стола Polyspace.

Настройки Polyspace Access

Установка	Описание
Use baseline from Polyspace Access	Задайте, использовать ли базовую линию для результатов Polyspace. Если вы включаете эту установку, задаете Project path и нажимаете Download baseline from Polyspace Access, чтобы загрузить базовую линию. После того, как вы загружаете базовую линию, последующие запуски Polyspace, когда Вы Кодируете информацию об анализе импорта от базовой линии и позволяете вам различать новые результаты и результаты, которые присутствовали в существующем коде. См. также Базовый Polyspace, когда Вы Кодируете Результаты в Eclipse.
Project path	Путь проекта в Polyspace доступ к Project Explorer, от которого вы получаете базовую линию.

Установка

Описание

Use baseline from Polyspace Access

Задайте, использовать ли базовую линию для результатов Polyspace.

Если вы включаете эту установку, задаете Project path и нажимаете Download baseline from Polyspace Access, чтобы загрузить базовую линию.

После того, как вы загружаете базовую линию, последующие запуски Polyspace, когда Вы Кодируете информацию об анализе импорта от базовой линии и позволяете вам различать новые результаты и результаты, которые присутствовали в существующем коде.

См. также Базовый Polyspace, когда Вы Кодируете Результаты в Eclipse.

Project path

Путь проекта в Polyspace доступ к Project Explorer, от которого вы получаете базовую линию.

Опытная настройка

Установка Описание

Установка	Описание
Run script for Polyspace analysis	Запустите скрипт каждый раз, когда вы сохраняете свой код (или явным образом запустите анализ). Расширение передает эти параметры скрипту: Путь к текущему файлу в качестве первого аргумента. Путь Results folder в качестве второго аргумента. Путь Polyspace as You Code installation folder в качестве третьего аргумента. Например, этот простой сценарий пакетной обработки Windows анализирует текущий файл, использует опции сборки Polyspace по умолчанию и импортирует информацию об анализе из ранее загруженной базовой линии: `set INSTALL_DIR=%3 set ANALYZE=%INSTALL_DIR%\polyspace\bin\polyspace-bug-finder-access.exe set SOURCES=%1 set RESULTS_FOLDER=%2 set BASELINE_DIR=%RESULTS_FOLDER%\..\..\..\baseline "%ANALYZE%" -sources %SOURCES% -baseline-folder %BASELINE_DIR% -results-dir %RESULTS_FOLDER% IF %ERRORLEVEL% NEQ 0 EXIT 1` Используйте скрипт, если, например, вы переключаетесь между файлами от компонентов, которые имеют различные конфигурации сборки, или вы используете инструмент пользователя, чтобы установить вашу среду сборки. Если вы включаете эту установку, все другие дополнительные настройки проигнорированы. Примечание Polyspace как Вы Расширение кода не проверяет статус выхода команд в вашем скрипте. Убедитесь, что ваш скрипт проверяет коды выхода (например, при помощи `%ERRORLEVEL%`) и возвращает значимый статус выхода. Как правило, двоичные файлы Polyspace возвращаются 0 на успехе и ненулевом значении на отказе.
Analysis script	Введите полный путь в скрипт. Скрипт может быть написан в любом языке. В зависимости от вашей установки Analysis launch mode скрипт работает на каждом файле, сохраняют, или когда вы щелкаете правой кнопкой по исходному коду или файлу в Project Explorer и выбираете Run Polyspace as You Code.

Run script for Polyspace analysis

Запустите скрипт каждый раз, когда вы сохраняете свой код (или явным образом запустите анализ).

Расширение передает эти параметры скрипту:

Путь к текущему файлу в качестве первого аргумента.
Путь Results folder в качестве второго аргумента.
Путь Polyspace as You Code installation folder в качестве третьего аргумента.

Например, этот простой сценарий пакетной обработки Windows анализирует текущий файл, использует опции сборки Polyspace по умолчанию и импортирует информацию об анализе из ранее загруженной базовой линии:

set INSTALL_DIR=%3
set ANALYZE=%INSTALL_DIR%\polyspace\bin\polyspace-bug-finder-access.exe
set SOURCES=%1
set RESULTS_FOLDER=%2
set BASELINE_DIR=%RESULTS_FOLDER%\..\..\..\baseline


"%ANALYZE%" -sources %SOURCES% -baseline-folder %BASELINE_DIR% -results-dir %RESULTS_FOLDER% 
IF %ERRORLEVEL% NEQ 0 EXIT 1

Используйте скрипт, если, например, вы переключаетесь между файлами от компонентов, которые имеют различные конфигурации сборки, или вы используете инструмент пользователя, чтобы установить вашу среду сборки.

Если вы включаете эту установку, все другие дополнительные настройки проигнорированы.

Примечание

Polyspace как Вы Расширение кода не проверяет статус выхода команд в вашем скрипте. Убедитесь, что ваш скрипт проверяет коды выхода (например, при помощи %ERRORLEVEL%) и возвращает значимый статус выхода.

Как правило, двоичные файлы Polyspace возвращаются 0 на успехе и ненулевом значении на отказе.

Analysis script

Введите полный путь в скрипт. Скрипт может быть написан в любом языке.

В зависимости от вашей установки Analysis launch mode скрипт работает на каждом файле, сохраняют, или когда вы щелкаете правой кнопкой по исходному коду или файлу в Project Explorer и выбираете Run Polyspace as You Code.

Документация