デスクトップでの PolyspaceBug Finder の実行

Polyspace^® Bug Finder™ は、C および C++ 組み込みソフトウェアにおけるランタイムエラー、同時実行の問題、セキュリティの脆弱性などの欠陥を特定します。Bug Finder では、セマンティクス解析などの静的解析を使用して、制御フロー、データフロー、および手続き間の動作を解析します。Bug Finder は、欠陥を検出して直ちに強調表示することにより、開発プロセスの初期段階でバグを重大度により順位付けし、修正を行うことができます。

Bug Finder は、Polyspace ユーザーインターフェイス、またはスクリプトを使用して、完全な C/C++ プロジェクトに対して実行できます。詳細は、以下を参照してください。

ユーザーインターフェイスでの Polyspace の実行
Polyspace の使用が初めての場合は、Polyspace ユーザーインターフェイスから開始することができます。プロジェクトの設定ウィザード、構成の支援、解析ログの要約などの機能からヘルプを取得できます。
Windows または Linux コマンドラインでの Polyspace の実行
Polyspace ユーザーインターフェイスでプロジェクトを設定し、数回の試行を完了した後は、自動またはオンデマンドで実行するスクリプトに構成をエクスポートできます。オペレーティングシステムのコマンドラインから Polyspace 解析を直接実行することもできます。コマンドは後で実行するために、バッチファイル (Windows^®) またはシェルスクリプト (Linux^®) に保存することができます。Jenkins^® などの継続的インテグレーションツールを使用して Polyspace サーバー製品を実行している場合、Polyspace デスクトップ製品のスクリプトを再利用することができます。
MATLAB での Polyspace の実行
MATLAB^® をインストールしている場合は、スクリプトを書いて Polyspace 解析を実行することが特に簡単になります。たとえば、関数構文の自動ヘルプなど、MATLAB 環境におけるスクリプト作成のすべての利点を活用できます。解析後、MATLAB グラフィックスおよび可視化ツールを使用して、結果についての独自の可視化を作成できます。

例のファイル

このチュートリアルの手順に従うには、polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\sources のファイルを別のフォルダーにコピーします。ここで、polyspaceroot は Polyspace インストールフォルダーです。たとえば、C:\Program Files\Polyspace\R2025a です。

ユーザーインターフェイスでの Polyspace の実行

Polyspace ユーザーインターフェイスを開く

polyspaceroot\polyspace\bin の polyspace 実行可能ファイルをダブルクリックします。ここで、polyspaceroot は Polyspace インストールフォルダーです。たとえば、C:\Program Files\Polyspace\R2025a です。インストールフォルダーも参照してください。

デスクトップまたは Windows の [スタート] メニューに Polyspace へのショートカットを設定している場合は、そのショートカットをダブルクリックします。

ソースファイルの追加

解析を実行するには、新しい Polyspace プロジェクトを作成する必要があります。Polyspace プロジェクトでは、ファイルシステムのソースフォルダーとインクルードフォルダーを指し示します。

[スタートページ] ペインの左側で、[新規プロジェクトの開始] をクリックします。あるいは、[ファイル] 、 [新規プロジェクト] を選択します。

プロジェクト名を指定したら、次の画面で、ソースフォルダーとインクルードフォルダーを追加します (両方を同じフォルダーにすることができます)。このチュートリアルでは、ソースファイルとインクルードファイルを保存したフォルダーへのパスを追加します。

ソースフォルダーとインクルードフォルダーを追加し終わったら、[プロジェクトブラウザー] ペインに新しいプロジェクトが表示されます。ソースフォルダーはプロジェクトの最初のモジュールにコピーされます。プロジェクトを右クリックし、後からフォルダーをさらに追加することができます。後からフォルダーを追加する場合は、そのフォルダーをモジュールに明示的にコピーしなければなりません。

Polyspace の設定と実行

Polyspace 解析に関連付けられている既定のオプションを変更できます。

プロジェクトモジュールで [構成] ノードをクリックします。必要に応じて、[構成] ペインでオプションを変更します。たとえば、[コーディングルールおよびコードメトリクス] ノードで [MISRA C:2004 のチェック] を選択します。

詳細は、各オプションのツールヒントを参照してください。オプションの状況依存のヘルプについては、[詳しいヘルプ] リンクをクリックします。

解析を開始するには、上部のツールバーで [Bug Finder の実行] をクリックします。ボタンに Code Prover が示されている場合は、ボタンの横の矢印をクリックして Bug Finder に切り替えます。

[出力の概要] ウィンドウで解析の進行状況を確認します。解析後、結果が自動的に開きます。

その他の情報

詳細は、以下を参照してください。

Windows または Linux コマンドラインでの Polyspace の実行

Windows または Linux コマンドラインから、バッチ (.bat) ファイルまたはシェル (.sh) スクリプトを使用して Bug Finder を実行できます。

Bug Finder 解析を実行するには、polyspace-bug-finder コマンドを使用します。

コマンドの絶対パスの入力を省略するために、パス polyspaceroot\polyspace\bin をオペレーティングシステムの Path 環境変数に追加します。ここで、polyspaceroot は Polyspace インストールフォルダーです。たとえば、C:\Program Files\Polyspace\R2025a です。

(cd を使用して) ファイルを保存したフォルダーに移動します。以下を入力します。

polyspace-bug-finder -sources numerical.c,dataflow.c -I . -results-dir .

ここで、. は現在のフォルダーを示します。使用されるオプションは以下のとおりです。

-sourcesコンマ区切りのソースファイルを指定します。
-Iインクルードフォルダーのパスを指定します。別のインクルードフォルダーを追加するたびに -I フラグを使用します。
-results-dir: Polyspace Bug Finder の結果を保存するフォルダーへのパスを指定します。
実行されるたびに結果フォルダーがクリーンアップされて再設定されることに注意してください。クリーンアップ中にファイルが誤って削除されないようにするには、他のファイルを含む既存のフォルダーを使用するのではなく、Polyspace の結果専用のフォルダーを指定します。

解析後、結果はファイル ps_results.psbf に保存されます。このファイルは Polyspace ユーザーインターフェイスから開くことができます。たとえば、以下を入力します。

polyspace ps_results.psbf

コマンドラインでコンマ区切りのソースを直接指定する代わりに、テキストファイルにソースをリストできます (1 行につき 1 ファイル)。このテキストファイルを指定するには、オプション -sources-list-file を使用します。

その他の情報

詳細は、以下を参照してください。

MATLAB での Polyspace の実行

MATLAB から Polyspace を実行する前に、Polyspace インストールと MATLAB インストールをリンクしなければなりません。MATLAB や Simulink との Polyspace の統合を参照してください。

解析を実行するには、polyspace.Project オブジェクトを使用します。このオブジェクトには次の 2 つのプロパティがあります。

Configuration:このプロパティを使用して、ソース、インクルード、コンパイラ、結果フォルダーなどの解析オプションを指定します。
Results:このプロパティを使用して、解析後に解析結果を MATLAB table に読み取ります。

解析を実行するには、このオブジェクトの run メソッドを使用します。

polyspaceroot\polyspace\examples\cxx\Bug_Finder_Examples\sources に含まれる例ファイル numerical.c に対して Polyspace を実行するには、MATLAB コマンドプロンプトに以下を入力します。

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.EnvironmentSettings.IncludeFolders = {fullfile(polyspaceroot, ...
'polyspace', 'examples', 'cxx', 'Bug_Finder_Example', 'sources')}
proj.Configuration.ResultsDir = fullfile(pwd,'results');

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

% Read results
resObj = proj.Results;
bfSummary = getSummary(resObj, 'defects');
bfResults = getResults(resObj, 'readable');

resultsFile = fullfile(proj.Configuration.ResultsDir,'ps_results.psbf');
polyspaceBugFinder(resultsFile)

その他の情報

詳細は、以下を参照してください。