Polyspace 解析オプションの指定

Polyspace^® 解析に関連付けられている既定のオプションを変更できます。たとえば、次のようにします。

Bug Finder が調査する欠陥とコーディングルールのセットを変更します。チェッカーアクティベーションファイル (-checkers-activation-file) を参照してください。
Code Prover の実行時チェッカーの既定の動作を変更します。
たとえば、符号なし整数のオーバーフローモード (-unsigned-integer-overflows) (Polyspace Code Prover) を参照してください。

すべての解析オプションのリストは、構成を参照してください。

Polyspace を実行する方法に応じて、解析オプションを適宜設定できます。

Polyspace Platform ユーザーインターフェイス

Polyspace ユーザーインターフェイスで解析用のプロジェクトを作成します。プロジェクト構成を開くには、[構成] ノードをクリックします。必要に応じて、[静的解析] タブでオプションを変更します。

A snapshot of a Polyspace configuration

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

A typical tooltip that appears on a Polyspace option.

詳細については、Run Static Analysis in Polyspace Platform User Interfaceを参照してください。

Windows または Linux スクリプト

polyspace-bug-finder または polyspace-code-prover コマンドにオプションを指定します。参考:

polyspace-bug-finder
polyspace-code-prover (Polyspace Code Prover)

次に例を示します。

polyspace-code-prover -sources file_name -main-generator -main-generator-calls unused -main-generator-writes-variables all

テキストファイルでオプションを指定することもできます。コマンドラインからの Polyspace 解析の実行を参照してください。

MATLAB スクリプト

polyspace.Project オブジェクトを作成し、オブジェクトの Configuration プロパティでオプションを設定します。参考:

次に例を示します。

proj = polyspace.Project;
proj.Configuration.CodingRulesCodeMetrics.EnableMisraC3 = true;
proj.Configuration.BugFinderAnalysis.EnableCheckers = false;

MATLAB スクリプトを使用した Polyspace 解析の実行も参照してください。

Simulink

Simulink^® モデルで [コンフィギュレーションパラメーター] ダイアログボックスを使用して Polyspace 関連のモデル構成を指定します。[アプリ] タブで [Polyspace] を選択してから、[Polyspace] タブで [設定] を選択します。

生成されたコードに関する Polyspace 解析オプションに移動するには、[Polyspace] タブの [設定] 、 [プロジェクトの設定] を確認します。

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

MATLAB Coder

MATLAB^® Coder™ を使用して C/C++ コードを生成したら MATLAB スクリプトを使用して Polyspace 解析を実行します。