Exponenta Banner

-options-file

Запуск Polyspace с использованием списка опций

Синтаксис

-options-file file

Описание

-options-file file задает файл, в котором перечислены опции анализа. Файл должен быть текстовым файлом с каждой опцией в отдельной линии. Использование # чтобы добавить комментарии к этому файлу.

Примеры

  1. Создайте файл опций с именем listofoptions.txt с вашими опциями. Для примера:

    • Bug Finder или Bug Finder Server:

      #These are the options for MyBugFinderProject
-lang c
-prog MyBugFinderProject
-author jsmith
-sources "mymain.c,funAlgebra.c,funGeometry.c"
-target x86_64
-compiler generic
-dos
-misra2 required-rules
-do-not-generate-results-for all-headers
-checkers default
-disable-checkers concurrency
-results-dir C:\Polyspace\MyBugFinderProject

    • Code Prover или сервер Code Prover:

      #These are the options for MyCodeProverProject
-lang c
-prog MyCodeProverProject
-author jsmith
-sources "mymain.c,funAlgebra.c,funGeometry.c"
-target x86_64
-compiler generic
-dos
-misra2 required-rules
-do-not-generate-results-for all-headers
-main-generator
-results-dir C:\Polyspace\MyCodeProverProject

  2. Запуск Polyspace® использование опций в файл listofoptions.txt:

    • Bug Finder:

      polyspace-bug-finder -options-file listofoptions.txt

    • Code Prover:

      polyspace-code-prover -options-file listofoptions.txt

    • Сервер Bug Finder:

      polyspace-bug-finder-server -options-file listofoptions.txt

    • Код Code Prover:

      polyspace-code-prover-server -options-file listofoptions.txt

См. также

Темы

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

Поддержка