Сгенерируйте опции сборки для Polyspace как вы анализ кода в Visual Studio

Polyspace^® когда Вы Кодируете, проверяет файл исходного кода, который в настоящее время активен в вашей Visual Studio^® IDE для ошибок и нарушений стандартов кодирования.

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

Сконфигурируйте Polyspace, когда Вы Кодируете, чтобы извлечь информацию о конфигурации сборки из вашего решения для Visual Studio, команды сборки или базы данных компиляции JSON.
Вручную задайте опции анализа, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Импортируйте опции анализа из файла проекта десктопного решения Polyspace.

Сконфигурируйте Polyspace, в то время как вы кодируете, чтобы извлечь конфигурацию сборки

Чтобы извлечь вашу информацию о конфигурации сборки из решения для Visual Studio, создайте команду или базу данных компиляции JSON:

Щелкните правой кнопкой по проекту по Visual Studio панель Solution Explorer и выберите Polyspace properties.
Выберите соответствующую опцию конфигурации сборки на вкладке Build. Смотрите Конфигурируют Polyspace как Вас Расширение кода в Visual Studio.

Опция конфигурации сборки, которую вы выбираете, применяется только к выбранному проекту.

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

Файл содержит опции анализа, которые эмулируют вашу конфигурацию сборки. Убедитесь, что сборка завершается успешно перед вашим извлечением информация о сборке.
Сгенерированный файл опций хранится в .polyspace-configure папка под workingDirectory/projectName папка или одна из ее подпапок.
workingDirectory путь является путем к папке Working directory for extension, который вы задаете в опциях General расширения Polyspace. projectName имя проекта, который содержит файлы, которые вы в настоящее время анализируете.

Создайте опцию Описание

Создайте опцию	Описание
Get from solution	Если вашим типом настройки проекта является Приложение (.exe), Динамическая Библиотека (.dll) или Статическая Библиотека (.lib), когда вы запускаете анализ, Polyspace извлекает опции сборки из вашего проекта и генерирует файл опций. Если вы вносите изменения в свой проект, Polyspace обновляет файл опций, когда вы запускаете следующий анализ. Если вашим типом настройки проекта является Make-файл или Утилита, или если вы не используете cl.exe компилятор, чтобы скомпилировать ваш код, прежде чем анализ запустится, Polyspace создает решение для Visual Studio и прослеживает сборку, чтобы извлечь ваши опции сборки и сгенерировать файл опций. Если вы вносите изменения в свой проект, обновляете сгенерированный файл опций, прежде чем вы запустите следующий анализ. Смотрите Обновление Сгенерированный Файл Опций Сборки. Polyspace создает ваше решение и генерирует файл опций только если: Вы запускаете анализ, и Polyspace не может найти сгенерированный файл опций в `.polyspace-configure` папка для проекта, который содержит в настоящее время анализируемый файл. Вы явным образом генерируете файл опций путем выбора Generate Polyspace build configuration из контекстного меню проекта в Solution Explorer.
Get from build command line	Задайте свою команду сборки в поле Build command line. Команда сборки, которую вы задаете, должна выполнить полную сборку. Например: `"C:\Program Files\Polyspace as You Code\R2021b\polyspace\sys\tcc\win64\tcc.exe" -g -o output dll.c fib.c hello_dll.c hello_win.c` Задайте полный путь папки, куда Polyspace запускает команду сборки в поле Working directory. Например: `C:\Program Files\Polyspace as You Code\R2021b\polyspace\sys\tcc\win64\examples` Прежде чем анализ запускается, Polyspace запускает вашу команду сборки, прослеживает сборку, чтобы извлечь конфигурационную информацию и генерирует файл опций. Если вы вносите изменения в свой проект, обновляете сгенерированный файл опций, прежде чем вы запустите следующий анализ. Смотрите Обновление Сгенерированный Файл Опций Сборки. Polyspace запускает вашу команду сборки и генерирует файл опций только если: Вы запускаете анализ, и Polyspace не может найти сгенерированный файл опций в `.polyspace-configure` папка для проекта, который содержит в настоящее время анализируемый файл. Вы явным образом генерируете файл опций путем выбора Generate Polyspace build configuration из контекстного меню проекта в Solution Explorer.
Get from JSON compilation database	Если ваша система сборки поддерживает генерацию файла базы данных компиляции JSON, используйте эту установку. Файл содержит призывы компилятора ко всем модулям перевода в вашем проекте. См. базу данных компиляции JSON. Извлекать вашу информацию о конфигурации сборки из базы данных компиляции JSON: Сгенерируйте файл базы данных компиляции JSON. Для примера того, как сгенерировать этот файл, смотрите, Создают Файл Опций Polyspace из Базы данных Компиляции JSON. Если вы используете базу данных компиляции JSON, которая не была сгенерирована на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете. Задайте полный путь к файлу базы данных компиляции JSON, который вы сгенерировали на шаге 1 в поле Path to JSON file. Прежде чем анализ запускается, Polyspace извлекает информацию о конфигурации сборки из базы данных компиляции и генерирует файл опций. Если вы вносите изменения в свой проект, обновляете сгенерированный файл опций, прежде чем вы запустите следующий анализ. Смотрите Обновление Сгенерированный Файл Опций Сборки. Polyspace генерирует файл опций только если: Вы запускаете анализ, и Polyspace не может найти сгенерированный файл опций в `.polyspace-configure` папка для проекта, который содержит в настоящее время анализируемый файл. Вы явным образом генерируете файл опций путем выбора Generate Polyspace build configuration из контекстного меню проекта в Solution Explorer.

Get from solution

Если вашим типом настройки проекта является Приложение (.exe), Динамическая Библиотека (.dll) или Статическая Библиотека (.lib), когда вы запускаете анализ, Polyspace извлекает опции сборки из вашего проекта и генерирует файл опций. Если вы вносите изменения в свой проект, Polyspace обновляет файл опций, когда вы запускаете следующий анализ.
Если вашим типом настройки проекта является Make-файл или Утилита, или если вы не используете cl.exe компилятор, чтобы скомпилировать ваш код, прежде чем анализ запустится, Polyspace создает решение для Visual Studio и прослеживает сборку, чтобы извлечь ваши опции сборки и сгенерировать файл опций. Если вы вносите изменения в свой проект, обновляете сгенерированный файл опций, прежде чем вы запустите следующий анализ. Смотрите Обновление Сгенерированный Файл Опций Сборки.
Polyspace создает ваше решение и генерирует файл опций только если:
- Вы запускаете анализ, и Polyspace не может найти сгенерированный файл опций в .polyspace-configure папка для проекта, который содержит в настоящее время анализируемый файл.
- Вы явным образом генерируете файл опций путем выбора Generate Polyspace build configuration из контекстного меню проекта в Solution Explorer.

Get from build command line

Задайте свою команду сборки в поле Build command line. Команда сборки, которую вы задаете, должна выполнить полную сборку. Например:
"C:\Program Files\Polyspace as You Code\R2021b\polyspace\sys\tcc\win64\tcc.exe" -g -o output dll.c fib.c hello_dll.c hello_win.c
Задайте полный путь папки, куда Polyspace запускает команду сборки в поле Working directory. Например:
C:\Program Files\Polyspace as You Code\R2021b\polyspace\sys\tcc\win64\examples

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

Polyspace запускает вашу команду сборки и генерирует файл опций только если:

Вы запускаете анализ, и Polyspace не может найти сгенерированный файл опций в .polyspace-configure папка для проекта, который содержит в настоящее время анализируемый файл.
Вы явным образом генерируете файл опций путем выбора Generate Polyspace build configuration из контекстного меню проекта в Solution Explorer.

Get from JSON compilation database

Если ваша система сборки поддерживает генерацию файла базы данных компиляции JSON, используйте эту установку. Файл содержит призывы компилятора ко всем модулям перевода в вашем проекте. См. базу данных компиляции JSON.

Извлекать вашу информацию о конфигурации сборки из базы данных компиляции JSON:

Сгенерируйте файл базы данных компиляции JSON. Для примера того, как сгенерировать этот файл, смотрите, Создают Файл Опций Polyspace из Базы данных Компиляции JSON.
Если вы используете базу данных компиляции JSON, которая не была сгенерирована на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете.
Задайте полный путь к файлу базы данных компиляции JSON, который вы сгенерировали на шаге 1 в поле Path to JSON file.

Прежде чем анализ запускается, Polyspace извлекает информацию о конфигурации сборки из базы данных компиляции и генерирует файл опций. Если вы вносите изменения в свой проект, обновляете сгенерированный файл опций, прежде чем вы запустите следующий анализ. Смотрите Обновление Сгенерированный Файл Опций Сборки.

Polyspace генерирует файл опций только если:

Вы запускаете анализ, и Polyspace не может найти сгенерированный файл опций в .polyspace-configure папка для проекта, который содержит в настоящее время анализируемый файл.
Вы явным образом генерируете файл опций путем выбора Generate Polyspace build configuration из контекстного меню проекта в Solution Explorer.

Обновите сгенерированный файл опций сборки

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

Чтобы обновить файл опций, из контекстного меню проекта в Solution Explorer, выбирают Generate Polyspace build configuration.

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

См. также Поиск и устранение неисправностей Не пройдено Анализ или Неожиданные Результаты в Polyspace, когда Вы Кодируете.

Задайте опции анализа вручную

Используйте эту установку если:

Вы знаете детали своей системы сборки, и вы хотите задать опции анализа Polyspace, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Для списка доступных опций анализа см. Полный список Аналитических Опций Engine Polyspace Bug Finder.
Вы снова используете файл опций Polyspace, который вы или кто-то еще в вашей команде сконфигурировали для своей системы сборки.
Если вы снова используете файл опций, который не был сконфигурирован или сгенерирован на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете.

Задавать файл опций анализа:

Щелкните правой кнопкой по проекту по Visual Studio панель Solution Explorer и выберите Polyspace properties.
Выберите Get from build options file на вкладке Build. Смотрите Конфигурируют Polyspace как Вас Расширение кода в Visual Studio.
Задайте полный путь к файлу опций в поле Build options file.

Polyspace как Вы механизм Анализа кода использует заданный файл опций в последующих исследованиях.

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

Импортируйте опции анализа из проекта рабочего стола Polyspace

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

Импортировать опции анализа из рабочего стола Polyspace файл PSPRJ:

Щелкните правой кнопкой по проекту по Visual Studio панель Solution Explorer и выберите Polyspace properties.
Выберите Build options file not required на вкладке Build.
На вкладке Analysis нажмите Import from Polyspace desktop project и выберите файл PSPRJ, из которого вы импортируете.

Polyspace генерирует файл опций и файл активации средств проверки XML, и заполняет поле Checkers file и Analysis options file на вкладке Analysis. Polyspace как Вы механизм Анализа кода использует эти файлы в последующих исследованиях.

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