Polyspace® Bug Finder™ идентифицирует ошибки времени выполнения, проблемы параллелизма, уязвимости системы обеспечения безопасности и другие дефекты во встроенном программном обеспечении C++ и C. Используя статический анализ, включая семантический анализ, Bug Finder анализирует поток управления, поток данных и межпроцедурное поведение. Путем выделения дефектов, как только они обнаруживаются, Bug Finder позволяет вам сортировать и исправить ошибки рано в процессе разработки.
Можно запустить Bug Finder на полных проектах C/C++ от пользовательского интерфейса Polyspace в поддерживаемой среде разработки (IDE), таких как скрипты использования или Eclipse™. См.:
Запустите Polyspace в пользовательском интерфейсе
Если это - ваш первый раз с помощью Polyspace, вы можете хотеть начать с пользовательского интерфейса Polyspace. Можно получить справку от функций, таких как мастер настройки проекта, помог настройке и обобщил аналитический журнал.
Запустите Polyspace на командной строке Linux или Windows
Если вы настраиваете проект в пользовательском интерфейсе Polyspace и завершаете несколько пробных прогонов, можно экспортировать настройку в скрипты, которые вы запускаете автоматически или по требованию. Можно также запустить анализ Polyspace непосредственно из командной строки в операционной системе. Можно затем сохранить команды в пакетных файлах (Windows) или сценарии оболочки (Linux) для более поздних запусков. Если при запуске Серверные продукты Polyspace с помощью инструментов непрерывной интеграции, таких как Jenkins, можно переиспользовать скрипты из десктопных решений Polyspace.
Если вы знакомы с рабочим Polyspace из командной строки, можно создать пункты меню в IDE, которые запускают скрипты и запускают анализ Polyspace в один клик. В Eclipse и основанных на Eclipse IDE, можно установить плагин Polyspace, который не требует никакой дополнительной настройки вообще. Когда вы запускаете Polyspace от плагина Eclipse, аналитическая настройка создается непосредственно из вашего проекта Eclipse.
Вместо того, чтобы анализировать завершенные проекты, в вашем IDE, можно анализировать только текущий файл, что вы работаете над использованием Polyspace, когда Вы Кодируете. Можно установить Polyspace как Вы Расширение кода / плагин в обычно используемых ИДАХ, таких как Visual Studio, Код Visual Studio или Eclipse. Смотрите Polyspace Анализа, когда Вы Кодируете Результаты в ИДАХ.
Если у вас есть установка MATLAB, особенно легко записать скрипты, чтобы запустить анализ Polyspace. Вы извлекаете всю пользу из сценариев в среде MATLAB, например, автоматической справке на синтаксисах функций. После анализа можно создать собственную визуализацию результатов с помощью графики MATLAB и инструментов визуализации.
Чтобы выполнить шаги в этом примере, скопируйте файлы с |
Дважды кликните polyspace исполняемый файл в polyspaceroot\polyspace\binpolyspacerootC:\Program Files\Polyspace\R2021b. См. также Папку Установки.
Если вы настраиваете ярлык Polyspace на вашем рабочем столе или меню Start в Windows®, дважды кликните ярлык.
Чтобы запустить анализ, необходимо создать новый проект Polyspace. Проект Polyspace указывает, на исходный код и включать папки в вашей файловой системе.
Слева от панели Start Page нажмите Start a new project. В качестве альтернативы выберите File> New Project.
После того, как вы обеспечиваете название проекта на следующих экранах, добавьте свой источник и включайте папки (обе папки могут быть тем же самым). В этом примере добавьте путь к папке, в которую вы сохраненный источник и включают файлы.
После того, как вы закончите добавлять свой источник и включать папки, вы видите новый проект на панели Project Browser. Ваши исходные папки копируются в первый модуль в проекте. Можно щелкнуть правой кнопкой по проекту добавить больше папок позже. Если вы добавляете папки позже, необходимо явным образом скопировать их в модуль.
Можно изменить опции по умолчанию, сопоставленные с анализом Polyspace.
Кликните по узлу Configuration в своем модуле проекта. На панели Configuration измените опции по мере необходимости. Например, на узле Coding Rules & Code Metrics, выберите Check MISRA C:2004.
Для получения дополнительной информации смотрите подсказку на каждой опции. Щелкните по ссылке More help для контекстно-зависимой справки на опциях.
Чтобы запустить анализ, нажмите Run Bug Finder на главной панели инструментов. Если кнопка указывает на Code Prover, кликните по стреле около кнопки, чтобы переключиться на Bug Finder.
Следуйте за прогрессом анализа окна Output Summary. После анализа результаты открываются автоматически.
См.:
Можно запустить Bug Finder от Windows или Linux® командная строка с пакетом (.bat) файлы или интерпретатор (.shСкрипты.
Чтобы запустить анализ Bug Finder, используйте polyspace-bug-finder команда.
Чтобы сохранить ввод полного пути в команду, добавьте путь polyspaceroot\polyspace\binPath переменная окружения на вашей операционной системе. Здесь, polyspacerootC:\Program Files\Polyspace\R2021b.
Перейдите к папке, где вы сохранили файлы (использующий cd). Введите следующее:
polyspace-bug-finder -sources numerical.c,dataflow.c -I . -results-dir .
. указывает на текущую папку. Используемые опции:
-sources: Задайте разделенные от запятой исходные файлы.
-I: Задайте путь, чтобы включать папку. Используйте -I отметьте каждый раз, когда вы хотите добавить, что отдельное включает папку.
-results-dir: Задайте путь к папке, где результаты Polyspace Bug Finder будут сохранены.
Обратите внимание на то, что папка результатов очищена и повторно заполнена при каждом запуске. Чтобы избежать случайного удаления файлов во время очистки, вместо того, чтобы использовать существующую папку, которая содержит другие файлы, задают специализированную папку для результатов Polyspace.
После анализа результаты сохранены в файле ps_results.psbf. Можно открыть этот файл от пользовательского интерфейса Polyspace. Например, введите следующее:
polyspace ps_results.psbf
Вместо того, чтобы задать разделенные от запятой источники непосредственно на командной строке, можно перечислить источники в текстовом файле (один файл на строку). Используйте опцию -sources-list-file задавать этот текстовый файл.
См.:
Если вы разрабатываете код в Eclipse или основанном на Eclipse IDE, можно запустить Code Prover непосредственно от IDE.
После установки плагина Eclipse можно запустить Polyspace непосредственно на файлах в проектах Eclipse.
В панели Project Explorer в Eclipse выберите свой проект. Чтобы использовать Bug Finder для анализа, выберите Polyspace> Bug Finder. Чтобы запустить анализ, выберите Polyspace> Run (Ctrl + R).
После анализа результаты открываются автоматически в Eclipse.
Прежде чем вы запустите Polyspace из MATLAB®, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.
Чтобы запустить анализ, используйте polyspace.Project объект. Объект имеет два свойства:
Configuration: Задайте опции анализа, такие как источники, включает, компилятор и папка результатов с помощью этого свойства.
Results: После анализа считайте результаты анализа в таблицу MATLAB с помощью этого свойства.
Чтобы запустить анализ, используйте run метод этого объекта.
Запускать Polyspace на файле в качестве примера numerical.c в polyspaceroot\polyspace\examples\cxx\Bug_Finder_Examples\sources
proj = polyspace.Project % Configure analysis proj.Configuration.Sources = {fullfile(polyspaceroot, 'polyspace', ... 'examples', 'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c')}; proj.Configuration.TargetCompiler.Compiler = 'gnu4.9'; proj.Configuration.EnvironmentSettings.IncludeFolders = {fullfile(polyspaceroot, ... 'polyspace', 'examples', 'cxx', 'Bug_Finder_Example', 'sources')} proj.Configuration.ResultsDir = fullfile(pwd,'results'); % Run analysis bfStatus = proj.run('bugFinder'); % Read results resObj = proj.Results; bfSummary = getSummary(resObj, 'defects'); bfResults = getResults(resObj, 'readable');
После анализа результаты сохранены в файле ps_results.psbf. Можно открыть этот файл от пользовательского интерфейса Polyspace. Например, введите следующее:
resultsFile = fullfile(proj.Configuration.ResultsDir,'ps_results.psbf');
polyspaceBugFinder(resultsFile)См.: