Exponenta Banner

polyspace.BugFinderOptions class

Пакет: полипробел

Создайте объект Polyspace Bug Finder для рукописного кода

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

Этот класс удерживается от использования и будет удален в будущем релизе. Используйте polyspace.Options вместо этого.

Описание

Настройте анализ Polyspace® Bug Finder™ от MATLAB® путем создания объекта опций Средства поиска Ошибки. Чтобы задать исходные файлы и настроить аналитические опции, измените свойства объектов.

Если вы анализируете сгенерированный код модели, используйте polyspace.ModelLinkBugFinderOptions вместо этого.

Примечание

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

Конструкция

opts = polyspace.BugFinderOptions создает объект опций Средства поиска Ошибки с доступными параметрами.

opts = polyspace.BugFinderOptions(lang) создает объект опций Средства поиска Ошибки с опциями, которые применимы для языка lang.

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

развернуть все

Язык анализа, заданного как 'C-CPP'C, или 'CPP'. Этот аргумент определяет, какие свойства объект имеет.

Свойства

Свойства объектов являются аналитическими опциями для проектов Polyspace Bug Finder. Свойства организованы в тех же категориях как интерфейс Polyspace. Имена свойства являются сокращенной версией имени командной строки DOS/UNIX. Для получения дополнительной информации синтаксиса смотрите polyspace.Project.Configuration Properties.

Методы

copyToСкопируйте общие настройки между объектами опций Polyspace
generateProjectСгенерируйте psprj проект от объекта опций
toScriptДобавьте определение объекта опций Polyspace в скрипт

Примеры

свернуть все

Создайте анализ Средства поиска Ошибки, опции возражают и настраивают свойства. Затем запустите анализ.

Создайте объект и настройте свойства.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Bug_Finder_Example','sources','numerical.c');
optsBF = polyspace.BugFinderOptions();
optsBF.Prog = 'MyProject';
optsBF.Sources = {sources};
optsBF.TargetCompiler.Compiler = 'gnu4.7';
optsBF.ResultsDir = tempname;

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

results = polyspaceBugFinder(optsBF);
polyspaceBugFinder('-results-dir',optsBF.ResultsDir);

Создайте анализ Средства поиска Ошибки, опции возражают и настраивают свойства. Затем запустите анализ.

Создайте объект и настройте свойства.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Bug_Finder_Example','sources','numerical.c');
optsBF = polyspace.BugFinderOptions();
optsBF.Prog = 'MyProject';
optsBF.Sources = {sources};
optsBF.TargetCompiler.Compiler = 'gnu4.7';
optsBF.ResultsDir = tempname;

Сгенерируйте проект Polyspace, назовите его с помощью Prog свойство, и открытый проект в интерфейсе Polyspace.

psprj = generateProject(optsBF, optsBF.Prog);
polyspaceBugFinder(psprj);

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

results = polyspaceBugFinder(psprj, '-nodesktop');
polyspaceBugFinder('-results-dir',optsBF.ResultsDir);

Альтернативы

Если вы анализируете код, сгенерированный из модели, используйте polyspace.ModelLinkBugFinderOptions вместо этого.

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

| |

Темы

Введенный в R2017b

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