Exponenta Banner

polyspaceBugFinderServer

Запустите анализ с Polyspace Bug Finder Server с помощью скриптов MATLAB

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

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

Синтаксис

polyspaceBugFinderServer(optsObject)
polyspaceBugFinderServer('-help')
polyspaceBugFinderServer('-sources',sourceFiles)
polyspaceBugFinderServer('-sources',sourceFiles,Name,Value)

Описание

пример

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

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

пример

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

пример

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

Примечание

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

Примеры

свернуть все

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

  • Сохраните исходный файл C, source.c, в папке C:\Polyspace_Sources.

  • Сохраните включать файл в папке C:\Polyspace_Includes.

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

opts = polyspace.BugFinderOptions;
opts.Sources = {'C:\Polyspace_Sources\source.c'};
opts.EnvironmentSettings.IncludeFolders = {'C:\Polyspace_Includes'};
opts.ResultsDir = 'C:\Polyspace_Results';

Polyspace работает на файле C:\Polyspace_Sources\source.c и хранит результат в C:\Polyspace_Results.

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

polyspaceBugFinderServer(opts);

В этом примере показано, как запустить анализ Polyspace в MATLAB. Для этого примера:

  • Сохраните исходный файл C, source.c, в папке C:\Polyspace_Sources.

  • Сохраните включать файл в папке C:\Polyspace_Includes.

Анализировать C:\Polyspace_Sources\source.c, запустите следующую команду.

polyspaceBugFinderServer('-sources','C:\Polyspace_Sources\source.c', ...
    '-I','C:\Polyspace_Includes', ...
    '-results-dir','C:\Polyspace_Results')

Этот пример показывает два различных способа настроить анализ в 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.CodingStandards.MisraC3Subset = 'all';
opts.CodingStandards.EnableMisraC3 = true;
polyspaceBugFinderServer(opts);

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

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

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

свернуть все

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

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

Пример: opts

Разделенный от запятой исходный файл 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 в Аналитических Опциях.

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

Темы

Введенный в R2019a

Документация Polyspace Bug Finder Server
Поддержка