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