Целевой объект и компилятор

Тип целевого процессора, поведение компилятора

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

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

расширить все

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.

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

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

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

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

Языковые стандарты и расширения

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

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

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

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