Укажите файл, содержащий список источников
-sources-list-file file_path
-sources-list-file указывает абсолютный путь к текстовому файлу, в котором перечислены имена всех файлов, подлежащих анализу.file_path
Чтобы указать источники в текстовом файле, в каждой строке укажите путь к исходному файлу. Можно указать абсолютный путь или путь относительно папки, из которой выполняется анализ. Например:
C:\Sources\myfile.c C:\Sources2\myfile2.c
Выполнить анализ файлов, перечисленных в files.txt:
Поиск ошибок:
polyspace-bug-finder -sources-list-file "C:\Analysis\files.txt" polyspace-bug-finder -sources-list-file "/home/polyspace/files.txt"
Проверка кода:
polyspace-code-prover -sources-list-file "C:\Analysis\files.txt polyspace-code-prover -sources-list-file "/home/polyspace/files.txt"
Сервер поиска ошибок:
polyspace-bug-finder-server -sources-list-file "C:\Analysis\files.txt" polyspace-bug-finder-server -sources-list-file "/home/polyspace/files.txt"
Сервер проверки кода:
polyspace-code-prover-server -sources-list-file "C:\Analysis\files.txt polyspace-code-prover-server -sources-list-file "/home/polyspace/files.txt"
Этот параметр нельзя использовать с Polyspace в качестве кода.