Exponenta Banner
exponenta event banner

-sources

Укажите исходные файлы

Синтаксис

-sources file1[,file2,...]
-sources file1 -sources file2

Описание

-sources file1[,file2,...] или -sources file1 -sources file2 задает список исходных файлов, которые необходимо проанализировать. Вы можете использовать стандартный UNIX® подстановочные знаки с этой опцией, чтобы задать ваши источники.

Исходные файлы компилируются в том порядке, в котором они заданы.

Примеры

Анализируйте файлы 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.

См. также

|

Темы

Документация Polyspace Code Prover

Поддержка