Exponenta Banner

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

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

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

Аналитические опции

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

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

Темы

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

Задайте аналитические опции Polyspace

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

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

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

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

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

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

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

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

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

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

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

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

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

Документация Polyspace Bug Finder
Поддержка