Цель и компилятор

Задайте целевое окружение

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

Опции анализа

развернуть все

Язык

`Source code language (-lang)`	Задайте язык исходных файлов
`C standard version (-c-version)`	Задайте стандарт языка C, сопровождаемый в исходном коде
`C++ standard version (-cpp-version)`	Задайте стандарт языка C++, сопровождаемый в исходном коде

Компилятор

Необходимый

`Compiler (-compiler)`	Задайте компилятор, который вы используете, чтобы создать ваш исходный код
`Target processor type (-target)`	Задайте размер типов данных и порядка байтов путем выбора предопределенного целевого процессора
`Generic target options`	Задайте размер типов данных и порядка байтов путем создания собственного целевого процессора

Дополнительный

`Management of size_t (-size-t-type-is)`	Задайте базовый тип данных `size_t`
`Management of wchar_t (-wchar-t-type-is)`	Задайте базовый тип данных `wchar_t`
`Block char16/32_t types (-no-uliterals)`	Отключите определения Polyspace для `char16_t` или `char32_t`
`Sfr type support (-sfr-types)`	Задайте размеры `sfr` типы для кода, разработанного с компиляторами Keil или IAR
`Pack alignment value (-pack-alignment-value)`	Задайте выравнивание упаковки структуры по умолчанию для кода, разработанного в Visual C++
`Ignore pragma pack directives (-ignore-pragma-pack)`	Проигнорируйте `#pragma pack` директивы

Усовершенствованный

`Division round down (-div-round-down)`	Округлите частных в меньшую сторону от деления или модуля отрицательных чисел вместо окружения
`Enum type definition (-enum-type-definition)`	Задайте, как представлять `enum` с базовым типом
`Signed right shift (-logical-signed-right-shift)`	Задайте, как лечить знаковый бит от логических сдвигов вправо на переменных со знаком

Темы

Начало работы

Задайте опции анализа Polyspace

Задайте Polyspace^® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

Эмуляция вашего компилятора

Задайте поведение целевого окружения и компилятора

Изучите рабочий процесс для определения Target & Compiler options.

Создайте аналитическую настройку Polyspace из команды сборки (make-файл)

Команды сборки повторного использования (make-файлы), чтобы сконфигурировать анализ Polyspace.

Требования для создания проекта от систем сборки

Обеспечьте стандартные заголовки библиотеки для анализа Polyspace

Найдите пути к C или заголовкам библиотеки стандарта C++ из вашего компилятора и задайте пути в своем проекте Polyspace.

Стандарты языка и расширения

Стандарт Языка C/C++, Используемый в Анализе Polyspace

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

Поддерживаемый Keil или расширения языка IAR

Найдите, который Keil или расширения IAR-specific стандарта языка C поддерживаются для верификации.

Поиск и устранение проблем

Диагностируйте компиляцию и соединение ошибок

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

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