VariableAccess

読み取り/書き込み操作と C/C++ グローバル変数の表示

構文

varList = variableAccess(resObj)

説明

varList = variableAccess(resObj) は、polyspace.CodeProverResults オブジェクト resObj によって表される Code Prover 結果セットにおけるグローバル変数の分布を返します。このリストには、グローバル変数に対するすべての読み取り操作および書き込み操作も含まれます。

例

すべて折りたたむ

既存の検証結果から MATLAB table へのグローバル変数の読み取り

この例では、MATLAB^® から Code Prover の解析結果を読み取る方法を示します。

デモの検証結果セットを一時フォルダーにコピーします。

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

検証結果オブジェクトを作成します。

resObj = polyspace.CodeProverResults(userResPath);

このオブジェクトを使用してグローバル変数のリストを MATLAB table に読み取ります。

varList = variableAccess(resObj);

Code Prover 解析の実行と MATLAB table へのグローバル変数の読み取り

デモファイル single_file_analysis.c に Polyspace^® Code Prover™ 解析を実行します。以下のオプションを構成します。

コンパイラとして 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);