Exponenta 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

  • Программа автоматического доказательства кода:

    polyspace-code-prover -sources mymain.c,funAlgebra.c,funGeometry.c

  • Сервер Bug Finder:

    polyspace-bug-finder-server -sources mymain.c,funAlgebra.c,funGeometry.c

  • Сервер программы автоматического доказательства кода:

    polyspace-code-prover-server -sources mymain.c,funAlgebra.c,funGeometry.c

  • Polyspace, когда вы кодируете:

    polyspace-bug-finder-access -sources myfile.c

    Обратите внимание на то, что можно только анализировать один файл за один раз с Polyspace, когда Вы Кодируете.

Смотрите также

|

Темы

Документация Polyspace Bug Finder

Поддержка