Polyspace® когда Вы Кодируете, проверяет ваш код на ошибки и нарушения стандартов кодирования, в то время как вы работаете в своем IDE или редакторе кода.
Так, чтобы аналитические запуски без ошибок, обеспечьте Polyspace, когда Вы Кодируете со спецификами вашей конфигурации сборки, такими как размеры типа данных и макроопределения компилятора. Чтобы предоставить вашу информацию о конфигурации сборки, вы можете:
Используйте polyspace-configure двоичный файл, чтобы извлечь информацию о конфигурации сборки из вашей команды сборки или базы данных компиляции JSON.
Вручную задайте опции анализа, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Импортируйте опции анализа из файла проекта десктопного решения Polyspace.
polyspace-configure сгенерировать файл опций сборки polyspace-configure двоичный файл позволяет вам извлечь информацию о конфигурации сборки из команды сборки или файла базы данных компиляции JSON. Двоичный файл использует извлеченную информацию, чтобы сгенерировать файл опций сборки, который содержит набор опций, которые эмулируют вашу конфигурацию сборки.
polyspace-configure доступно с вашим Polyspace, когда Вы Кодируете установку в polyspaceAsYouCodeRoot/polyspace/binpolyspaceAsYouCodeRoot ваш Polyspace, когда Вы Кодируете папку установки.
Чтобы извлечь информацию о конфигурации сборки из вашей команды сборки, обеспечьте команду сборки, которая выполняет полную сборку. Например, если вы используете make на Linux, чтобы разработать ваш проект, используйте эту команду:
polyspace-configure \
-no-sources -allow-overwrite \
-output-options-file path/To/buildOptions.txt \
-merge-common-options make -BPolyspace запускает вашу команду сборки, прослеживает сборку, чтобы извлечь конфигурационную информацию и генерирует buildOptions.txt в path/To. Для получения дополнительной информации о polyspace-configure опции, смотрите polyspace-configure.
Используйте сгенерированный файл опций в последующих исследованиях исходных файлов из вашего проекта. Например:
polyspace-bug-finder-access -sources file.c -options-file path/To/buildOptions.txt Если ваша система сборки поддерживает генерацию файла базы данных компиляции JSON, используйте этот рабочий процесс.
Файл базы данных компиляции содержит призывы компилятора ко всем модулям перевода в вашем проекте. См. базу данных компиляции JSON.
Извлекать вашу информацию о конфигурации сборки из базы данных компиляции JSON:
Сгенерируйте файл базы данных компиляции JSON. Для примера того, как сгенерировать этот файл, смотрите, Создают Файл Опций Polyspace из Базы данных Компиляции JSON. Сгенерированный файл обычно называют compile_commands.json.
Если вы используете базу данных компиляции JSON, которая не была сгенерирована на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете.
Передайте файл базы данных компиляции polyspace-configure. Например:
polyspace-configure \ -no-sources -allow-overwrite \ -output-options-file path/To/buildOptions.txt \ -merge-common-options \ -compilation-database otherPath/To/compile_commands.json
Polyspace извлекает информацию о конфигурации сборки из базы данных компиляции и генерирует файл опций. Для получения дополнительной информации о polyspace-configure опции, смотрите polyspace-configure
Используйте сгенерированный файл опций в последующих исследованиях исходных файлов из вашего проекта. Например:
polyspace-bug-finder-access -sources file.c -options-file path/To/buildOptions.txt Если вы вносите изменения в свою конфигурацию сборки, например, если вы добавляете исходный файл в свой проект или рабочую область или переименовываете существующий файл, обновляете сгенерированный файл опций, чтобы отразить те изменения. Прежде чем вы обновите файл опций, убедитесь, что ваша сборка завершается успешно с новой настройкой.
Чтобы обновить файл опций, повторно выполните команду, что вы раньше генерировали файл и задавали тот же набор опций, которые вы использовали.
Если вы извлекаете свою информацию о сборке из файла базы данных компиляции JSON, регенерируете базу данных компиляции, прежде чем вы обновите файл опций сборки.
Используйте этот рабочий процесс если:
Вы знаете детали своей системы сборки, и вы хотите задать опции анализа Polyspace, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Для списка доступных опций анализа см. Полный список Аналитических Опций Engine Polyspace Bug Finder.
Вы снова используете файл опций Polyspace, который вы или кто-то еще в вашей команде сконфигурировали для своей системы сборки.
Если вы снова используете файл опций, который не был сконфигурирован или сгенерирован на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете.
Если вы вносите изменения в свою конфигурацию сборки, редактируете файл опций, чтобы отразить те изменения. Смотрите Задают Поведение Целевого окружения и Компилятора.
Если вы конфигурируете анализ в десктопном решении Polyspace, можно использовать информацию с получившегося рабочего стола Polyspace файл PSPRJ, чтобы сконфигурировать Polyspace как Вы Анализ кода.
Чтобы импортировать опции анализа из рабочего стола Polyspace файл PSPRJ, используйте эту команду:
polyspace-checkers-selection -import-options-from-psprj pathToPsprjFilepolyspace-checkers-selection двоичный файл доступен под polyspace/bin папка в вашем Polyspace, когда Вы Кодируете папку установки.pathToPsprjFile путь является полным путем файла PSPRJ.
Polyspace генерирует файл опций (analysis_options.txt) и файл активации средств проверки XML (checkers_activation_file.xml). Сгенерированные файлы хранятся в import папка в том же месте как файл PSPRJ.
Используйте сгенерированный файл опций и файл активации средств проверки в последующих исследованиях исходных файлов из вашего проекта. Например:
polyspace-bug-finder-access -sources file.c \
-options-file path/To/import/analysis_options.txt \
-checkers-activation-file path/To/import/checkers_activation_file.xmlЕсли вы вносите изменения в свою конфигурацию сборки, редактируете файл опций (analysis_options.txt) отразить те изменения. Смотрите Задают Поведение Целевого окружения и Компилятора.
polyspace-configure | polyspace-bug-finder-access