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

Чтобы запустить анализ от DOS или командного окна UNIX®, используйте команду polyspace-bug-finder или polyspace-code-prover сопровождаемый другими опциями вы хотите использовать. Смотрите также:

Чтобы сохранить ввод полного пути в команды, добавьте путь polyspaceroot\polyspace\bin к Path переменная окружения на вашей операционной системе. Здесь, polyspaceroot папка установки Polyspace, например, C:\Program Files\Polyspace\R2021a. См. также Папку Установки.

Задайте источники и опции анализа непосредственно

В Windows®, Linux® или командной строке Mac OS X, добавляют источники и опции анализа к polyspace-bug-finder или polyspace-code-prover команда.

Например:

  • Чтобы задать источники, используйте -sources опция, сопровождаемая списком, разделенным запятыми источников.

    polyspace-bug-finder -sources C:\mySource\myFile1.c,C:\mySource\myFile2.c

    Если ваша текущая папка содержит sources подпапка с исходными файлами, можно не использовать -sources флаг. Анализ рассматривает файлы в sources и все подпапки под sources.

  • Чтобы задать целевой процессор, используйте -target опция. Например, чтобы задать m68k процессор для вашего исходного файла file.c, используйте команду:

    polyspace-bug-finder -sources "file.c" -lang c -target m68k
  • Чтобы проверять на нарушение правил MISRA C®, используйте -misra2 опция. Например, чтобы проверять только на необходимый MISRA C управляет на вашем исходном файле file.c, используйте команду:

    polyspace-bug-finder -sources "file.c" -misra2 required-rules
  • Чтобы задать папку результатов, используйте опцию -results-dir.

    Обратите внимание на то, что по умолчанию папка результатов очищена и повторно заполнена при каждом запуске. Чтобы избежать случайного удаления файлов во время очистки, вместо того, чтобы использовать существующую папку, которая содержит другие файлы, задают специализированную папку для результатов Polyspace®.

Для полного списка опций анализа см.:

Для полного списка опций введите следующее в командной строке:

polyspace-code-prover -help

Задайте источники и опции анализа в текстовом файле

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

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

    #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-code-prover -options-file listofoptions.txt

См. также -options-file.

Создайте файл опций из системы сборки

Если вы используете команду сборки (make-файл), чтобы создать ваш исходный код, можно собрать источники и параметры компилятора от команды сборки. Проследите свою команду сборки, чтобы сгенерировать текстовый файл с необходимыми опциями Polyspace.

  1. Создайте список опций Polyspace с помощью инструмента конфигурирования.

    polyspace-configure -output-options-file \
            myOptions buildCommand
    где buildCommand команда, которую вы используете, чтобы создать ваш исходный код, например, make -B.

    Смотрите также polyspace-configure.

  2. Запустите Polyspace с помощью опций, считанных из сборки.

    polyspace-bug-finder -options-file myOptions \
            -results-dir myResults
    

    В дополнение к опциям, собранным из вашей команды сборки, вы можете хотеть добавить дальнейшие опции, например, задать дефектные средства проверки. Можно добавить эти опции к файлу опций, добавьте их непосредственно в командной строке или добавьте их через второй файл опций (использующий другой -options-file флаг.

  3. Откройте результаты в пользовательском интерфейсе Polyspace.

    polyspace-bug-finder myResults

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

| |

Похожие темы

Внешние веб-сайты