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