Exponenta Banner

Диагностируйте проблемы анализа Polyspace из MATLAB

Когда вы запускаете Polyspace® анализ кода C/C + +, если один или несколько файлов не могут скомпилироваться, анализ продолжается с оставшимися файлами. Можно принять решение остановить анализ при ошибках компиляции.

proj = polyspace.Project;
proj.Configuration.EnvironmentSettings.StopWithCompileError = true;

Однако удобнее позволить анализу завершить и захватить все ошибки компиляции.

Ошибки компиляции отображаются в журнале анализа, который появляется в MATLAB® командное окно. Журнал анализа также содержит используемые опции и различные этапы анализа. Линии, указывающие на ошибки, начинаются со Error: строка. Найдите эти линии и извлечите их в файл журнала для более легкого сканирования. Выдать предупреждение об ошибках компиляции.

Необходимые условия

Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».

Захват ошибок анализа Polyspace в журнале ошибок

Функция runPolyspace defined later захватывает выход из командного окна с помощью evalc функция и хранит линии, начиная с Error: в файл error.log. Можно вызвать runPolyspace с путями к исходному коду и включать папки.

Например, вы можете вызвать функцию с путями к демонстрационным исходным файлам в подпапке polyspace/examples/cxx/Bug_Finder_Example/sources папки установки MATLAB.

sourcePath = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources');
includePath = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources');
[status, resultsSummary] = runPolyspace(sourcePath, includePath);

Функция определяется следующим образом.

function [status, resultsSummary] = runPolyspace(sourcePath, libPath)
% runPolyspace takes two string arguments: source and include folder.
% The files in the source folder are analyzed for defects.
% If one or more files fail to compile, the errors are saved in a log.
% A warning on the screen indicates that compilation errors occurred.

    proj = polyspace.Project;

    % Specify sources
    proj.Configuration.Sources = {fullfile(sourcePath,'*')};
    
    % Specify compiler and paths to libraries
    proj.Configuration.TargetCompiler.Compiler = 'gnu4.9';
    proj.Configuration.EnvironmentSettings.IncludeFolders = {fullfile(libPath,'*')};
        
    
    % Run analysis
    runMode = 'bugFinder';
    [logFileContent,status] = evalc('run(proj, runMode)');
    
    % Open file for writing errors
    errorFile = fopen('error.log','wt+');
    
    % Check log file for compilation errors
    numErrors = 0;
    
    log = strsplit(logFileContent,'\n');
    errorLines = find(contains(log, {'Error:'}, 'IgnoreCase', true));
    for ii=1:numel(errorLines)
          fprintf(errorFile, '%s\n', log{errorLines(ii)});
          numErrors = numErrors + 1;
    end
    
    if numErrors
        warning('%d compilation error(s). See error.log for details.', numErrors);  
    end
             
    fclose(errorFile);
    
    % Read results
    resObj = proj.Results;
    resultsSummary = getSummary(resObj, 'defects');

Журнал анализа также захвачен в файл Polyspace_R20<reservedrangesplaceholder0 >_ ProjectName_ date- time.log. Вместо того, чтобы захватывать выход из командного окна, вы можете искать этот файл.

Вы можете адаптировать этот скрипт для других целей. Например, вы можете захватывать предупреждения в дополнение к ошибкам. Начало линий с предупреждениями warning:. Предупреждения указывают на ситуации, когда анализ продолжается, несмотря на проблему. Анализ делает предположение, чтобы работать вокруг вопроса. Если предположение неверно, можно увидеть ошибки позже или в редких случаях, неправильные результаты анализа.

См. также

Похожие темы

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

Поддержка