Команда Polyspace Bug Finder

(DOS/UNIX) Выполнение анализ Средства поиска Ошибки от DOS или командной строки UNIX

Синтаксис

polyspace-bug-finder
polyspace-bug-finder -sources sourceFiles [OPTIONS]
polyspace-bug-finder -sources-list-file listOfSources [OPTIONS]
polyspace-bug-finder -options-file optFile
polyspace-bug-finder -h[elp]

Описание

polyspace-bug-finder [OPTIONS] запускает анализ Средства поиска Ошибки, если ваша текущая папка содержит подпапку sources с исходными файлами (.c или файлы .cxx). Анализ рассматривает файлы в sources и всех подпапках под sources.

пример

polyspace-bug-finder -sources sourceFiles [OPTIONS] запускает анализ Средства поиска Ошибки исходного файла (файлов) sourceFiles. Можно настроить анализ с дополнительными опциями.

polyspace-bug-finder -sources-list-file listOfSources [OPTIONS] запускает анализ Средства поиска Ошибки исходных файлов, перечисленных в текстовом файле listOfSources. Можно настроить анализ с дополнительными опциями. Используя рекомендуется исходный файл списка, когда у вас есть много исходных файлов. Путем хранения списка источников в текстовом файле команда короче и обновляет к списку, легче.

пример

polyspace-bug-finder -options-file optFile запускает анализ Средства поиска Ошибки с опциями, заданными в файле опции. Когда у вас есть много аналитических опций, файл опций облегчает запускать тот же анализ снова.

polyspace-bug-finder -h[elp] перечисляет сводные данные возможных аналитических опций.

Примеры

свернуть все

Запустите локальный анализ Средства поиска Ошибки путем определения аналитических опций в самой команде. Этот пример использует исходные файлы от демонстрационного примера Polyspace Bug Finder. Чтобы запустить этот пример, замените polyspaceroot на путь к вашей установке Polyspace®, например, C:\Program Files\Polyspace\R2019a.

Запустите анализ numerical.c и programming.c, проверяющего на императивные нормы MISRA C:2012, программируя и числовые дефекты, и с помощью параметров компилятора GNU 4.7. Эта команда в качестве примера разделена символами ^ для удобочитаемости. На практике можно поместить все команды на одну строку.

polyspaceroot\polyspace\bin\polyspace-bug-finder^
 -sources ^
polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\sources\numerical.c,^
polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\sources\programming.c ^
-compiler gnu4.7 -misra3 mandatory -checkers numerical,programming ^
-author jlittle -prog myProject -results-dir C:\Polyspace_Workspace\Results\

Откройте результаты.

polyspaceroot\polyspace\bin\polyspace C:\Polyspace_Workspace\Results\ps_results.psbf

Чтобы повторно выполнить анализ, необходимо повторно выполнить его из командной строки.

Запустите локальный анализ Средства поиска Ошибки путем определения аналитических опций с опции. Этот пример использует исходные файлы от демонстрационного примера Polyspace Bug Finder. Чтобы запустить этот пример, замените polyspaceroot на путь к вашей установке Polyspace, например, C:\Program Files\Polyspace\R2019a.

Сохраните этот текст к текстовому файлу под названием myOptionsFile.txt.

# Options for analyzing numerical.c and programming.c
-sources polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\sources\numerical.c
-sources polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\sources\programming.c
-compiler gnu4.7
-misra3 mandatory
-checkers numerical,programming 
-author jlittle 
-prog myProject 
-results-dir C:\Polyspace_Workspace\Results\

Запустите анализ с опциями, заданными в текстовом файле.

polyspaceroot\polyspace\bin\polyspace-bug-finder -options-file myOptionsFile.txt

Откройте результаты.

polyspaceroot\polyspace\bin\polyspace C:\Polyspace_Workspace\Results\ps_results.psbf

Чтобы повторно выполнить анализ, необходимо повторно выполнить его из командной строки.

Входные параметры

свернуть все

Разделенный от запятой C или имена исходного файла C++, заданные как -sources, сопровождаемый строкой. Если файлы не находятся в текущей папке (pwd), sourceFiles должен включать полный или относительный путь. Чтобы избежать ошибок из-за путей с пробелами, добавьте, заключает в кавычки " " вокруг пути. Для получения дополнительной информации смотрите -sources.

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

Пример: -sources myFile.c, -sources C:\mySources\myFile1.c,C:\mySources\myFile2.c

Текстовый файл, который перечисляет имя C или файлов C++, заданных как -sources-list-file, сопровождаемый файлом. Если файлы не находятся в текущей папке (pwd), listOfSources должен включать полный или относительный путь. Чтобы избежать ошибок из-за путей с пробелами, добавьте, заключает в кавычки " " вокруг пути. Для получения дополнительной информации смотрите -sources-list-file.

Пример: -sources-list-file filename.txt, -sources-list-file "C:\ps_analysis\source_files.txt"

Аналитические опции и их соответствующие значения, заданные именем опции и если применимо значением. Для спецификаций синтаксиса смотрите отдельные аналитические страницы с описанием опции.

Пример: -lang C-CPP -compiler diab

Текстовый файл, перечисляющий аналитические опции и значения, заданные как -options-file, сопровождаемый файлом. Для получения дополнительной информации смотрите -options-file.

Пример: -options-file opts.txt, -options-file "C:\ps_analysis\options.txt"

Введенный в R2013b