Exponenta Banner
exponenta event banner

- источники

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

Синтаксис

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

Описание

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

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

Примеры

Анализ файлов mymain.c, funAlgebra.c, и funGeometry.c.

  • Поиск ошибок:

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

  • Проверка кода:

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

  • Сервер поиска ошибок:

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

  • Сервер проверки кода:

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

  • Полиспейс как код:

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

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

См. также

|

Темы

Документация по программе проверки кода Polyspace

Поддержка