Exponenta Banner
exponenta event banner

polyspace-bug-finder

(DOS/UNIX) Запуск анализа Bug Finder из Windows, Linux или другой командной строки

свернуть все на странице

Синтаксис

polyspace-bug-finder
polyspace-bug-finder -sources sourceFiles [ПАРАМЕТРЫ]
polyspace-bug-finder -sources-list-file listOfSources [ПАРАМЕТРЫ]
polyspace-bug-finder -options-file optFile
polyspace-bug-finder -h [elp]

Описание

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

пример

polyspace-bug-finder -sources sourceFiles [OPTIONS] выполняет анализ Bug Finder для исходных файлов sourceFiles. Анализ можно настроить с помощью дополнительных опций.

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

пример

polyspace-bug-finder -options-file optFile выполняет анализ Bug Finder с опциями, указанными в файле опций. Если имеется много опций анализа, файл опций упрощает повторное выполнение того же анализа.

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

Примеры

свернуть все

Выполните локальный анализ Bug Finder, указав параметры анализа в самой команде. В этом примере используются исходные файлы из демонстрационного примера 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

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

Выполните локальный анализ Bug Finder, указав опции анализа с опциями. В этом примере используются исходные файлы из демонстрационного примера 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++, разделенные запятыми, указаны как строка. Если файлы находятся не в текущей папке (pwd), sourceFiles должен включать полный или относительный путь. Чтобы избежать ошибок из-за путей с пробелами, добавьте кавычки " " вокруг тропинки. Дополнительные сведения см. в разделе -sources.

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

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

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

Пример: filename.txt, "C:\ps_analysis\source_files.txt"

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

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

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

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

См. также

Темы

Представлен в R2013b

Документация для поиска ошибок Polyspace

Поддержка