Exponenta Banner

polyspace.BugFinderOptions class

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

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

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

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

Описание

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

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

Примечание

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

Конструкция

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

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

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

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

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

Свойства

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

Методы

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

Примеры

свернуть все

Создайте Bug Finder, опции анализа возражают и настраивают свойства. Затем запустите анализ.

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

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);

Создайте Bug Finder, опции анализа возражают и настраивают свойства. Затем запустите анализ.

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

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

Поддержка