Параметры среды

Предварительная обработка скрипта, включайте файлы

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

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

Code from DOS or Windows file system (-dos)Полагайте, что пути к файлам находятся в стиле MS-DOS
Stop analysis if a file does not compile (-stop-if-compile-error)Укажите, что ошибка компиляции должна остановить анализ
Command/script to apply to preprocessed files (-post-preprocessing-command)Задайте команду или скрипт, чтобы работать на исходных файлах после предварительной обработки фазы анализа
Include (-include)Задайте файлы, чтобы быть #include-ed каждым файлом C в анализе
Ignore link errors (-no-extern-c)Проигнорируйте определенные ошибки соединения

Темы

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

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

Удалите или замените ключевые слова перед компиляцией

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

Соберите параметры компиляции эффективно

Поместите обходные решения для ошибок компиляции в один файл и включайте тот файл в анализ.