このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Polyspace ユーザー インターフェイスでの Bug Finder 解析
Polyspace® ユーザー インターフェイスでの C/C++ コードの欠陥のチェック
Polyspace デスクトップ ユーザー インターフェイスを使用して、解析を設定して実行します。プロジェクトを作成または更新する方法、Polyspace 解析によって生成されるファイル、およびインターフェイスを整理してカスタマイズする方法について説明します。
トピック
入門
- ユーザー インターフェイスでの Polyspace の実行
ビルド コマンドを使用するか手動でソース ファイルを追加する。
- Polyspace ユーザー インターフェイスでの静的解析の実行
デスクトップにおいて Polyspace ユーザー インターフェイスで Polyspace 解析を実行する。
プロジェクトの作成と更新
- Visual Studio ビルドからの Polyspace プロジェクトの作成
Visual Studio® ビルドをトレースして、ソース ファイルおよび一部の解析オプションを指定する。 - 構成テンプレートを使用した Polyspace デスクトップ ユーザー インターフェイスでのプロジェクトの作成
事前定義された構成を使用して Polyspace プロジェクトを作成し、構成をエクスポートして共有と再利用を行う。 - Polyspaceデスクトップ ユーザー インターフェイスでのプロジェクトの更新
ソース リストの更新、フォルダー パスの変更、インクルード順序の変更および既存プロジェクトへのファイルの追加を行う。
ファイル ストレージ
- Polyspace プロジェクト フォルダーと結果フォルダーの内容
Polyspace 検証から生成されるさまざまなファイルについて学ぶ。 - Polyspace 解析中の一時ファイルの保存
Polyspace が解析中に一時ファイルを保存する場所について学ぶ。
Polyspace ユーザー インターフェイス
- Polyspace デスクトップ ユーザー インターフェイスのレイアウトの編成
ウィンドウの配置を再編成し、その編成を保存して、1 回のクリックで保存したレイアウトに切り替える。 - Polyspace デスクトップ ユーザー インターフェイスのカスタマイズ
既定のプロジェクトの保存場所やフォント サイズなど、Polyspace ユーザー インターフェイスの既定の動作をカスタマイズする。
