Exponenta Banner
exponenta event banner

variableAccess

Просмотр глобальных переменных C/C + + вместе с операциями чтения/записи

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

Синтаксис

varList = variableAccess (resObj)

Описание

пример

varList = variableAccess(resObj) возвращает распределение глобальных переменных в результирующем наборе Prover кода, обозначенном polyspace.CodeProverResults объект resObj. Список также содержит все операции чтения и записи для глобальных переменных.

Примеры

свернуть все

В этом примере показано, как считывать результаты анализа проверки кода из MATLAB ®.

Скопируйте набор демонстрационных результатов во временную папку.

resPath = fullfile(polyspaceroot,'polyspace','examples','cxx','Code_Prover_Example', ...
'Module_1','CP_Result');
userResPath = tempname;
copyfile(resPath,userResPath);

Создайте объект результатов.

resObj = polyspace.CodeProverResults(userResPath);

Считывание списка глобальных переменных в таблицы MATLAB с помощью объекта.

varList = variableAccess(resObj);

Выполнение анализа Prover™ кода Polyspace ® в демонстрационном файлеsingle_file_analysis.c. Настройте следующие параметры:

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

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

  • Укажите, что main должна быть создана, если она не существует в исходном коде.

proj = polyspace.Project

% Configure analysis
proj.Configuration.Sources = {fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Code_Prover_Example', 'sources', 'single_file_analysis.c')};
proj.Configuration.TargetCompiler.Compiler = 'gnu4.9';
proj.Configuration.ResultsDir = fullfile(pwd,'results');
proj.Configuration.CodeProverVerification.MainGenerator = true;


% Run analysis
cpStatus = proj.run('codeProver');

% Read results
resObj = proj.Results;
cpSummary = variableAccess(resObj);

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

свернуть все

Набор результатов проверки кода, указанный как polyspace.CodeProverResults объект.

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

свернуть все

Таблица, показывающая все глобальные переменные из одного анализа проверки кода, а также операции чтения и записи для них.

  • Для каждой глобальной переменной таблица содержит такие данные, как тип данных, количество обращений и т. д.

  • Для каждой операции чтения или записи таблица содержит такую информацию, как имя файла и функции, номер строки и т. д.

Если определенная информация недоступна для результата, запись в таблице указывает <undefined>.

Для получения дополнительной информации:

См. также

Темы

Представлен в R2017a

Документация по программе проверки кода Polyspace

Поддержка