Укажите папку включения для компиляции
-I folder
-I указывает папку, содержащую файлы, необходимые для компиляции источников. Можно указать только одну папку для каждого экземпляра folder-I. Однако этот параметр можно указать несколько раз.
При анализе выполняется поиск включаемых файлов относительно указанных путей к папкам. Например, если код содержит директиву препроцессора #include<../mylib.h> и вы включаете папку:
C:\My_Project\MySourceFiles\Includes
C:\My_Project\MySourceFiles должен содержать файл mylib.h.Анализ автоматически включает в себя ./sources (если она существует) после указанных папок включения.
Включить две папки с анализом:
Поиск ошибок:
polyspace-bug-finder -I /com1/inc -I /com1/sys/inc
Проверка кода:
polyspace-code-prover -I /com1/inc -I /com1/sys/inc
Сервер поиска ошибок:
polyspace-bug-finder-server -I /com1/inc -I /com1/sys/inc
Сервер проверки кода:
polyspace-code-prover-server -I /com1/inc -I /com1/sys/inc
Исходная папка неявно включена. Файлы включения в исходную папку можно найти автоматически без явного включения исходной папки с -I вариант.
Если в качестве расширений кода в IDE используется Polyspace ®, введите эту опцию в файл опций анализа. См. файл параметров.