Exponenta Banner
exponenta event banner

-options-файл

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

Синтаксис

-options-file file

Описание

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

Примеры

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

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

      #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:

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

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

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

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

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

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

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

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

См. также

Темы

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

Поддержка