Добавьте дополнительные вспомогательные файлы кода к анализу.
Например, предположим, что вы используете файлы C для проверки результатов из сгенерированного кода или предоставления входов сгенерированному коду. Анализ сгенерированного кода рассматривает только файлы, сгенерированные из Simulink® модель. Если вы хотите, чтобы анализ рассматривал файлы C, которые вы используете для проверки или входов, предоставьте их в качестве дополнительных файлов.
Категория параметров конфигурации модели: Polyspace
По умолчанию: Off 
Анализ не включает дополнительные файлы.
Polyspace® анализирует указанные файлы C/C + + с помощью сгенерированного кода. Используйте кнопку Select files, чтобы задать эти дополнительные файлы.
Используйте pslinkoptions свойства EnableAdditionalFileList и AdditionalFileList.
The pslinkoptions функция позволяет вам создать Объект опций Polyspace, которую можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметры PSEnableAdditionalFileList и PSAdditionalFileList с теми же значениями, что и для pslinkoptions свойства EnableAdditionalFileList и AdditionalFileList. См. Pslinkoptions Properties.
pslinkoptions | pslinkoptions Свойства