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