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