Exponenta Banner

run

Запуск анализа Polyspace

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

Синтаксис

run(proj, product)

Описание

status = run(proj, product) запускает Polyspace® Bug Finder™ или Polyspace Code Prover™ анализ с помощью строения, указанного в polyspace.Project proj объекта. Результаты анализа также хранятся в proj.

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

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

Проект Polyspace с строением и результатами, заданный как polyspace.Project объект.

Тип выполняемого анализа.

Выходные аргументы

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

Состояние анализа. Если анализ успешен, состояние false. В противном случае это true.

Анализ может завершиться неудачно по нескольким причинам:

  • Вы предоставляете исходные файлы, которые не существуют.

  • Ни один из ваших файлов не скомпилировался. Даже если один файл компилируется, если вы не задаете свойство StopWithCompileError на trueанализ завершается успешно и возвращает false состояние.

Может быть много других причин, по которым анализ не проходит. Если анализ не проходит, в папке результатов проверьте файл журнала. Вы можете увидеть папку результатов с помощью Configuration свойство polyspace.Project объект:

proj = polyspace.Project;
proj.Configuration.ResultsDir
Файл журнала имеет имя Polyspace_R20<reservedrangesplaceholder0 >.log.

Примеры

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

Запустите анализ Polyspace Bug Finder на демо- файл numerical.c. Сконфигурируйте следующие опции:

  • Укажите GCC 4.9 в качестве компилятора.

  • Сохраните результаты в results подпапка текущей рабочей папки.

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.ResultsDir = fullfile(pwd,'results');

% Run analysis
bfStatus = run(proj, 'bugFinder');

% Read results
bfSummary = proj.Results.getSummary('defects');
Введенный в R2017b

Документация Polyspace Code Prover

Поддержка