Сконфигурируйте Polyspace как вас расширение кода в Visual Studio

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

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

Сконфигурировать расширение, в Visual Studio:

Выберите Tools> Options и задайте настройки General на узле Polyspace. Эти настройки применяются ко всем проектам в Visual Studio^®.
Щелкните правой кнопкой по проекту по Visual Studio панель Solution Explorer и выберите Polyspace properties, чтобы задать настройки, которые применяются только к выбранному проекту.

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

Общие настройки

Установка	Описание
Analysis launch mode	Выберите, работает ли Polyspace, когда Вы Кодируете, на каждом файле, сохраняют или явным образом. Выберите одно из следующего: Automatically (значение по умолчанию): Анализ запускается на каждом файле, сохраняют. Manually: Пользователь явным образом запускает анализ. Чтобы запустить анализ, щелкните правой кнопкой по исходному коду или файлу в Solution Explorer, и выберите Run Polyspace analysis.
Polyspace as You Code installation folder	Polyspace, когда Вы Кодируете папку установки. Это поле только для чтения и установлено во время установки. Если вы видите, что ошибки, связанные с запуском Коннектора Polyspace, проверяют, существует ли папка все еще (и содержит Polyspace, когда Вы Кодируете установку). Ошибки появляются на панели Output в Visual Studio.
Working directory for extension	Папка, где результаты анализа хранятся. Когда вы запускаете анализ, подпапка создается в этой папке для каждого решения для Visual Studio. В подпапке вторая подпапка создается на проект и затем другого на файл. Для каждого файла новый запуск перезаписывает результаты предыдущего запуска. Если анализ перестал работать для данного файла, можно проверять `failed` подпапка для получения информации, полезной для поиска и устранения неисправностей, такого как опции, данные аналитическому механизму. Папкой результатов по умолчанию является `C:\TEMP\%USERNAME%\Polyspace`.
Polyspace Access URL	URL Polyspace доступ к экземпляру, от которого вы получаете базовую линию. После того, как вы получаете базовую линию из Polyspace доступ, последующие запуски Polyspace, когда Вы Кодируете, позволяют вам различать новые результаты и результаты, которые присутствовали в существующем коде (код, ранее загруженный на Polyspace доступ). См. также Базовый Polyspace, когда Вы Кодируете Результаты в Visual Studio.

Свойства Polyspace для проекта

Вкладка Build

Установка	Описание
Get from solution (значение по умолчанию)	Если вашим типом настройки проекта является Приложение (.exe), Динамическая Библиотека (.dll) или Статическая Библиотека (.lib), Polyspace извлекает опции сборки из вашего проекта, когда вы запускаете анализ. В противном случае, прежде чем вы запускаете анализ, нажмите Generate Polyspace build configuration, чтобы создать решение для Visual Studio, проследить сборку и извлечь ваши опции сборки. Если типом настройки проекта является Make-файл или Утилита, метка для этой установки перечисляет тип проекта. Например, (project type: 'Utility'). См. также Конфигурируют Polyspace, когда Вы Кодируете, чтобы Извлечь Конфигурацию сборки.
Get from build command line	Задайте: Команда сборки в установке Build command line Папка, от которой команда сборки должна быть запущена в установке Working directory. Прежде чем вы запустите анализ, нажмите Generate Polyspace build configuration, чтобы запустить вашу команду сборки, проследить вашу сборку и извлечь ваши опции сборки. См. также Конфигурируют Polyspace, когда Вы Кодируете, чтобы Извлечь Конфигурацию сборки.
Get from JSON compilation database	Задайте путь к файлу JSON (обычно названный `compile_commands.json`) в установке Path to JSON file. Прежде чем вы запустите анализ, нажмите Generate Polyspace build configuration, чтобы извлечь опции сборки из базы данных компиляции JSON, которую вы задаете. См. также Конфигурируют Polyspace, когда Вы Кодируете, чтобы Извлечь Конфигурацию сборки.
Get from Polyspace build options file	Анализ использует вручную заданные опции. Предоставьте эти возможности в файле опций, который вы задаете в установке Build options file. Смотрите Задают Опции анализа Вручную.
Build options file not required	Вы не должны задавать опции Polyspace, связанные с вашей настройкой создания. Эта опция применяется только к простым проектам. Анализ использует опции сборки Polyspace по умолчанию. Необходимо обычно обеспечивать Polyspace, когда Вы Кодируете со спецификами вашей конфигурации сборки так, чтобы анализ запустился без ошибок.

Вкладка Analysis

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

Установка

Описание

Checkers file

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

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

Чтобы выбрать существующий файл, откройте файловый менеджер путем нажатия.

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

Analysis options file

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

-D _WIN32
-termination-functions exit_handler

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

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

Import options from Polyspace Desktop project (*.psprj)

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

Вкладка Polyspace Access

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

Установка

Описание

Use baseline from Polyspace Access

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

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

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

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

Show only new findings compared to the results baseline

Задайте, нужно ли только новые результаты показать. Если вы выбираете эту опцию, результатами является по сравнению с базовой линией, загруженной с Polyspace доступ, и только новые результаты показывают.

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

Опытная вкладка

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

Установка	Описание
Run analysis script	Запустите скрипт каждый раз, когда вы сохраняете свой код (или явным образом запустите анализ). Расширение передает эти параметры скрипту: Путь к текущему файлу в качестве первого аргумента. Путь Working directory for extension в качестве второго аргумента. 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 скрипт работает на каждом файле, сохраняют, или когда вы щелкаете правой кнопкой по исходному коду или файлу в Solution Explorer и выбираете Run Polyspace analysis.

Run analysis script

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

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

Путь к текущему файлу в качестве первого аргумента.
Путь Working directory for extension в качестве второго аргумента.
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 скрипт работает на каждом файле, сохраняют, или когда вы щелкаете правой кнопкой по исходному коду или файлу в Solution Explorer и выбираете Run Polyspace analysis.

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