解析のモジュール化

プロジェクトを小さなパーツにモジュール化し、各パーツの解析方法を指定する

解析を容易にするため、プロジェクトを小さなパーツに分割します。

  • プロジェクト内のソース ファイルをさまざまなファイル セットに分類し、オプション -classification を使用してそれらの解析方法を指定します。

  • polyspace-configure を使用して、makefile で作成されるバイナリごとに個別の Polyspace® プロジェクトまたはオプション ファイルを作成します。

  • ライブラリを特定し、オプション [使用するライブラリ] (-library) を使用してそれらの解析方法を指定します。

所有していないコードをスタブ化することで、解析の実行時間を短縮できます。以下のオプションを使用して、スケーリングの問題を回避します。

関数

polyspace-configure(システム コマンド) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成

Polyspace オプション

インライン (-inline)関数呼び出しのたびに内部でクローンを作成しなければならない関数を指定
構造体内の検証の深さ (-k-limiting)入れ子構造体の解析の深さの制限
構造体内の検証の深さの設定構造体内の検証の深さを設定することを指定する (R2023b 以降)
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (R2025a 以降)
使用するライブラリ (-library)プログラムで使用するライブラリの指定

トピック

分類

モジュール化