Exponenta Banner

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

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

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

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

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

  • Импортируйте опции анализа из файла проекта десктопного решения Polyspace.

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

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

  1. Откройте настройки Visual Studio Code путем нажатия Ctrl +, (запятая).

    Введите polyspace.analysisoptions в панели поиска настроек и наборе Polyspace> Analysis Options: Analysis Setup к Manual setup.

  2. Установите соответствующий Polyspace> Analysis Options> опции Manual Setup: Build и заполните соответствующее поле Build Setting.

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

  3. Откройте Command Palette (Ctrl +Shift+P) и введите Polyspace: Configure Project.

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

Сгенерированный файл опций хранится в .polyspace-configure папка под workingDirectory/projectName папка или одна из ее подпапок.

workingDirectory путем является Polyspace> путь Analysis Engine: Result Folder, который вы задаете в Polyspace как Вы настройки Расширения кода. projectName имя папки верхнего уровня в EXPLORER, который содержит файлы, которые вы в настоящее время анализируете.

Получите конфигурацию сборки от задачи сборки

Код Visual Studio позволяет вам задать задачи так, чтобы можно было запустить внешний инструмент из редактора кода. Смотрите Объединяются с Внешними Инструментами через Задачи.

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

  1. Откройте настройки Visual Studio Code путем нажатия Ctrl +, (запятая).

    Введите polyspace.analysisoptions в панели поиска настроек.

  2. Установите эти настройки Polyspace> Analysis Options на перечисленные в таблице значения.

    УстановкаЗначение
    Analysis SetupManual setup
    Manual Setup: BuildGet from build task
    Manual Setup> Build Setting: Build Task

    Задайте имя задачи сборки. Это соответствует "label" поле определения задачи в tasks.json файл. Задача, которую вы задаете, должна выполнить полную сборку.

    Polyspace поддерживает использование только этих предварительно определенных переменных Visual Studio Кода в определениях задачи:

    • ${workspaceFolder}

    • ${workspaceFolderBasename}

    • ${cwd}

  3. Откройте Command Palette (Ctrl +Shift+P) и введите Polyspace: Configure Project.

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

Получите конфигурацию сборки от команды сборки

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

  1. Откройте настройки Visual Studio Code путем нажатия Ctrl +, (запятая).

    Введите polyspace.analysisoptions в панели поиска настроек.

  2. Установите эти настройки Polyspace> Analysis Options на перечисленные в таблице значения.

    УстановкаЗначение
    Analysis SetupManual setup
    Manual Setup: BuildGet from build command
    Manual Setup> Build Setting: Build Command

    Задайте свою команду сборки, например:

    "C:\Program Files\Polyspace as You Code\R2021a\sys\tcc\win64\tcc.exe" -g -o output dll.c fib.c hello_dll.c hello_win.c

    Команда, которую вы задаете, должна выполнить полную сборку

  3. Откройте Command Palette (Ctrl +Shift+P) и введите Polyspace: Configure Project.

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

Получите конфигурацию сборки от базы данных компиляции JSON

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

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

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

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

  2. Откройте настройки Visual Studio Code путем нажатия Ctrl +, (запятая).

    Введите polyspace.analysisoptions в панели поиска настроек.

  3. Установите эти настройки Polyspace> Analysis Options на перечисленные в таблице значения.

    УстановкаЗначение
    Analysis SetupManual setup
    Manual Setup: BuildGet from JSON Compilation Database file
    Manual Setup> Build Setting: JSON Compilation Database File

    Задайте полный путь к файлу, который вы сгенерировали на шаге 1. Файл обычно называют compile_commands.json.

  4. Откройте Command Palette (Ctrl +Shift+P) и введите Polyspace: Configure Project.

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

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

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

Чтобы обновить файл опций, Откройте Command Palette (Ctrl +Shift+P) и введите Polyspace: Configure Project.

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

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

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

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

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

    Для списка доступных опций анализа см. Полный список Аналитических Опций Engine Polyspace Bug Finder.

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

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

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

  1. Откройте настройки Visual Studio Code путем нажатия Ctrl +, (запятая).

    Введите polyspace.analysisoptions в панели поиска настроек.

  2. Установите эти настройки Polyspace> Analysis Options на перечисленные в таблице значения.

    УстановкаЗначение
    Analysis SetupManual setup
    Manual Setup: BuildGet from Polyspace build options file
    Manual Setup> Build Setting: Polyspace Build Options File

    Задайте полный путь к файлу опций Polyspace.

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

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

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

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

Чтобы импортировать опции анализа из рабочего стола Polyspace файл PSPRJ, откройте терминал в Коде Visual Studio и введите эту команду:

polyspace-checkers-selection -import-options-from-psprj pathToPsprjFile
polyspace-checkers-selection двоичный файл доступен под polyspace/bin папка в вашем Polyspace, когда Вы Кодируете папку установки.

pathToPsprjFile путь является полным путем файла PSPRJ.

Polyspace генерирует файл опций (analysis_options.txt) и файл активации средств проверки XML (checkers_activation_file.xml). Сгенерированные файлы хранятся в import папка в том же месте как файл PSPRJ.

Завершать настройку Polyspace как Вы Анализ кода:

  1. Откройте настройки Visual Studio Code путем нажатия Ctrl +, (запятая).

    Введите polyspace.analysisoptions в панели поиска настроек.

  2. Установите эти настройки Polyspace> Analysis Options на перечисленные в таблице значения.

    УстановкаЗначение
    Analysis SetupManual setup
    Manual Setup: Build

    Build options file not required

    Эта установка игнорирует файл, заданный в поле Build Setting: Polyspace Build Options File.

    Manual Setup: Checkers File

    Полный путь к файлу checkers_activation_file.xml

    Manual Setup: Other Analysis Options

    Полный путь к файлу analysis_options.txt

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

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

Похожие темы

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

Поддержка