Укажите исходные файлы
-sources
file1[,file2,...]
-sources file1
-sources file2
-sources
или file1[,file2,...]
-sources
задает список исходных файлов, которые необходимо проанализировать. Вы можете использовать стандартный UNIX® подстановочные знаки с этой опцией, чтобы задать ваши источники.file1
-sources file2
Исходные файлы компилируются в том порядке, в котором они заданы.
Анализируйте файлы mymain.c
, funAlgebra.c
, и funGeometry.c
.
Bug Finder:
polyspace-bug-finder -sources mymain.c,funAlgebra.c,funGeometry.c
Code Prover:
polyspace-code-prover -sources mymain.c,funAlgebra.c,funGeometry.c
Сервер Bug Finder:
polyspace-bug-finder-server -sources mymain.c,funAlgebra.c,funGeometry.c
Код Code Prover:
polyspace-code-prover-server -sources mymain.c,funAlgebra.c,funGeometry.c
Polyspace как вы кодируете:
polyspace-bug-finder-access -sources myfile.c
Обратите внимание, что вы можете анализировать только один файл за раз с Polyspace как You Code.