Exponenta Banner
exponenta event banner

polyspace-bug-finder-access

(DOS/UNIX) Запускает Polyspace, в то время как Вы Кодируете от Windows, Linux или другой командной строки

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

Синтаксис

polyspace-bug-finder-access -sources sourceFile [OPTIONS]
polyspace-bug-finder-access -sources sourceFile -baseline-folder baselineFolder [OPTIONS]
polyspace-bug-finder-access -sources sourceFile -options-file optFile
polyspace-bug-finder-access -h[elp]

Описание

пример

polyspace-bug-finder-access -sources sourceFile [OPTIONS] запускает Polyspace как Вас Анализ кода на исходном файле sourceFile. Можно настроить анализ с дополнительными опциями.

polyspace-bug-finder-access -sources sourceFile -baseline-folder baselineFolder [OPTIONS] запускает Polyspace как Вас Анализ кода на исходном файле sourceFile и затем импортирует информацию об анализе из предыдущего запуска, сохраненного в baselineFolder. Используйте этот рабочий процесс, чтобы сравнить ваши результаты с результатами предыдущего запуска, что вы загружаете с Polyspace доступ и фокусируетесь на новых результатах только или на нерассмотренных результатах. Смотрите Базовый Polyspace, когда Вы Кодируете Результаты на Командной строке.

пример

polyspace-bug-finder-access -sources sourceFile -options-file optFile запускает Polyspace как Вас Анализ кода на исходном файле sourceFile с опциями, заданными в файле опции. Когда у вас есть много опций анализа, файл опций облегчает запускать тот же анализ снова.

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

Примеры

Запустите анализ путем прямого определения опций

Запустите polyspace-bug-finder-access команда на одном исходном файле file.c в текущей папке. Сохраните результаты в папке polyspaceResults.

polyspace-bug-finder-access -sources file.c -results-dir polyspaceResults

Запустите анализ Используя файл опций

Введите следующее в текстовый файл opts.txt:

-results-dir polyspaceResults
-compiler gnu7.x

Запустите polyspace-bug-finder-access команда на одном исходном файле file.c в текущей папке. Используйте опции анализа в ранее созданном файле opts.txt:

polyspace-bug-finder-access -sources file.c -options-file opts.txt

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

свернуть все

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

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

Пример: myFile.c

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

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

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

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

Путь папки, где вы храните запуск, который вы загружаете с Polyspace® Доступ. Вы используете загруженный запуск в качестве базовой линии для Polyspace, когда Вы Кодируете запуски.

Пример: "C:\Temp\Results_Folder\baseline"

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

|

Темы

Введенный в R2021a

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

Поддержка