Exponenta Banner

-options-file

Запустите Polyspace с помощью списка опций

Синтаксис

-options-file file

Описание

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

Примеры

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

    • Bug Finder или сервер Bug Finder:

      #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

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

      #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

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

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

    • Сервер Bug Finder:

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

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

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

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

Темы

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

Поддержка