Чтобы совпадать с вашей средой выполнения, задайте целевые и параметры компилятора. Анализ использует эти опции, чтобы определить переменные размеры, расширения языка и специфичное для компилятора поведение. Если вы все еще получаете ошибки компиляции, можно работать вокруг определенных ошибок с опциями от категории Параметров среды и Макросов.
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
Задайте поведение целевого окружения и компилятора
Изучите рабочий процесс для определения Target & Compiler options.
Обеспечьте стандартные заголовки библиотеки для анализа Polyspace
Найдите пути к C или заголовкам библиотеки стандарта C++ из вашего компилятора и задайте пути в своем проекте Polyspace®.
Стандарт Языка C/C++, Используемый в Анализе Polyspace
См. поддерживаемые стандарты языка и стандарт по умолчанию, используемый в анализе Polyspace.
Поддерживаемый Keil или расширения языка IAR
Найдите, который Keil или расширения IAR-specific стандарта языка C поддерживаются для верификации.