Polyspace полностью поддерживает наиболее распространенные компиляторы, используемые, чтобы разработать встраиваемые приложения. Если вы компилируете свой код с одним из этих компиляторов, можно запустить анализ просто путем определения компилятора и целевого процессора. Смотрите полный список компиляторов на странице с описанием для опции Compiler (-compiler)
.
Если вы не компилируете свой код с помощью поддерживаемого компилятора, можно задать типовой компилятор. Если вы сталкиваетесь с ошибками компиляции от специфичных для компилятора расширений языка, можно явным образом задать эти расширения, чтобы работать вокруг ошибок. Используйте опции Preprocessor definitions (-D)
и Command/script to apply to preprocessed files (-post-preprocessing-command)
.