Exponenta Banner

polyspaceBugFinder

Запустите анализ Polyspace Bug Finder из MATLAB

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

Для более легких сценариев запустите анализ Polyspace® с помощью polyspace.Project объект.

Синтаксис

polyspaceBugFinder
polyspaceBugFinder(projectFile)
polyspaceBugFinder(optsObject)
polyspaceBugFinder(projectFile, '-nodesktop')
polyspaceBugFinder(resultsFile)
polyspaceBugFinder('-results-dir',resultsFolder)
polyspaceBugFinder('-help')
polyspaceBugFinder('-sources',sourceFiles)
polyspaceBugFinder('-sources',sourceFiles,Name,Value)

Описание

polyspaceBugFinder открывает Polyspace Bug Finder™.

пример

polyspaceBugFinder(projectFile) открывает файл проекта Polyspace в Polyspace Bug Finder.

пример

polyspaceBugFinder(optsObject) запускает анализ объекта опций Polyspace в MATLAB®.

polyspaceBugFinder(projectFile, '-nodesktop') запускает анализ файла проекта Polyspace в MATLAB.

polyspaceBugFinder(resultsFile) открывается Polyspace приводит файл к Polyspace Bug Finder.

пример

polyspaceBugFinder('-results-dir',resultsFolder) открывается Polyspace происходит файл от resultsFolder в Polyspace Bug Finder.

polyspaceBugFinder('-help') опции отображений, которые могут быть предоставлены polyspaceBugFinder команда, чтобы запустить анализ Polyspace Bug Finder.

пример

polyspaceBugFinder('-sources',sourceFiles) запускает анализ Polyspace Bug Finder исходных файлов, заданных в sourceFiles.

пример

polyspaceBugFinder('-sources',sourceFiles,Name,Value) запускает анализ Polyspace Bug Finder исходных файлов с дополнительными опциями, заданными одним или несколькими Name,Value парные аргументы.

Примечание

Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Примеры

свернуть все

В этом примере показано, как открыть файл проекта Polyspace с дополнительным .psprj из MATLAB. В этом примере вы открываете файл проекта Bug_Finder_Example.psprj от папки polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example.

Откройте проект Bug_Finder_Example.psprj в интерфейсе Polyspace.

prjFile = fullfile(polyspaceroot, 'polyspace', 'examples', 'cxx', ...
         'Bug_Finder_Example', 'Bug_Finder_Example.psprj');
polyspaceBugFinder(prjFile);

В этом примере показано, как открыться, Polyspace происходит файл от MATLAB. В этом примере вы открываете файл результатов от папки polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\Module_1\BF_Result.

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

resFolder = fullfile(polyspaceroot, 'polyspace', 'examples',  ...
         'cxx', 'Bug_Finder_Example', 'Module_1', 'BF_Result');
polyspaceBugFinder('-results-dir',resFolder)

В этом примере показано, как запустить анализ Polyspace от объектов использования командной строки MATLAB.

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

opts = polyspace.BugFinderOptions;
opts.Sources = {fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c')};
opts.EnvironmentSettings.IncludeFolders = {fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources')};
opts.ResultsDir = fullfile(pwd,'results');

Запустите анализ и просмотрите результаты.

polyspaceBugFinder(opts);
polyspaceBugFinder('-results-dir',opts.ResultsDir)

В этом примере показано, как запустить анализ Polyspace в MATLAB с помощью опций DOS/UNIX-style.

Запустите анализ и откройте результаты.

sourceFiles = fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c');
includeFolders = fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources');
resultsDir = fullfile(pwd,'results');
polyspaceBugFinder('-sources',sourceFiles, ...
             '-I',includeFolders, ...
             '-results-dir',resultsDir);

Просмотреть результаты, введите:

polyspaceBugFinder('-results-dir',resultsDir);

Этот пример показывает два различных способа настроить анализ в MATLAB. Можно настроить столько дополнительных опций, сколько вы хотите путем изменения свойств в объекте опций или при помощи Пар "имя-значение". Здесь вы задаете проверку правил кодирования MISRA C® 2012.

Создайте переменные, чтобы сохранить путь к исходному файлу, и заканчивается путь к папке. Можно использовать эти переменные для любого метода анализа.

sourceFileName = fullfile(polyspaceroot, 'polyspace','examples', 'cxx', 'Bug_Finder_Example','sources','dataflow.c');
resFolder1 = fullfile('Polyspace_Results_1');
resFolder2 = fullfile('Polyspace_Results_2');

Анализируйте правила кодирования с объектом опций.

opts = polyspace.BugFinderOptions();
opts.Sources = {sourceFileName};
opts.ResultsDir = resFolder1;
opts.CodingRulesCodeMetrics.MisraC3Subset = 'all';
opts.CodingRulesCodeMetrics.EnableMisraC3 = true;
polyspaceBugFinder(opts);
polyspaceBugFinder('-results-dir',resFolder1);

Анализируйте правила кодирования с опциями DOS/UNIX.

polyspaceBugFinder('-sources',sourceFileName,'-results-dir',resFolder2,'-misra3','all');
polyspaceBugFinder('-results-dir',resFolder2);

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

свернуть все

Имя объекта опций Polyspace в виде указателя на объект.

Чтобы создать объект опций, используйте один из классов опций Polyspace.

Пример: opts

Имя файла проекта с дополнительным .psprjВ виде вектора символов.

Если файл не находится в текущей папке, projectFile должен включать полный или относительный путь.

Пример: 'C:\Polyspace_Projects\myProject.psprj'

Типы данных: char

Имя файла результатов с дополнительным .psbfВ виде вектора символов.

Если файл не находится в текущей папке, resultsFile должен включать полный или относительный путь.

Пример: 'myResults.psbf'

Типы данных: char

Имя папки результата в виде вектора символов. Папка должна содержать файл результатов с дополнительным .psbf. Если файл результатов находится в подпапке заданной папки, эта команда не открывает файл результатов.

Если папка не находится в текущей папке, resultsFolder должен включать полный или относительный путь.

Пример: 'C:\Polyspace\Results\'

Типы данных: char

Разделенный от запятой исходный файл C или C++ называет в виде односимвольного вектора.

Если файлы не находятся в текущей папке, sourceFiles должен включать полный или относительный путь.

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

Аргументы в виде пар имя-значение

Задайте дополнительные разделенные запятой пары Name,Value аргументы. Name имя аргумента и Value соответствующее значение. Name должен появиться в кавычках. Вы можете задать несколько аргументов в виде пар имен и значений в любом порядке, например: Name1, Value1, ..., NameN, ValueN.

Пример: '-target','i386','-compiler','gnu4.6' указывает, что исходный код предназначается для цели i386 и содержит Синтаксис C не-ANSI для GCC 4.6.

Для имен опции и значений, смотрите раздел Command-Line Information в Аналитических Опциях.

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

|

Темы

Введенный в R2013b

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

Поддержка