実行設定

リモート解析、結果リポジトリ

Bug Finder 解析をリモートサーバーで実行しなければならない、または通常解析モードよりも高速に結果を生成しなければならないことを指定するには、実行設定オプションを使用します。

Polyspace オプション

`リモートクラスターで Bug Finder または Code Prover 解析を実行 (-batch)`	バッチリモート解析の有効化
`Bug Finder を高速解析モードで使用 (-fast-analysis)`	高速ローカルモードを使用した解析の実行

Polyspace 解析オプションの指定
Polyspace^® ユーザーインターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
高速解析モードで検出される Bug Finder の結果
Bug Finder が高速解析モードでチェックする欠陥とコーディングルールのサブセットについて学ぶ。
スクリプトを使用したデスクトップからリモートサーバーへの Polyspace 解析の送信
バッチファイル (.bat) またはシェルスクリプト (.sh) を使用して Polyspace 解析ジョブをリモートサーバーに送信する。