Windows または Linux スクリプトを使用した Bug Finder 解析

バッチ ファイル (.bat) またはシェル スクリプト (.sh) を使用した C/C++ コードの欠陥のチェック

Windows® または Linux® スクリプトを使用して Polyspace® 解析を構成して実行します。使用可能なシステム コマンドと、これらのコマンドを使用してコマンド ラインから Polyspace を実行する方法について説明します。

コマンドの絶対パスの入力を省略するには、パス polyspaceroot\polyspace\bin をオペレーティング システムの環境変数 Path に追加します。ここで、polyspaceroot は Polyspace インストール フォルダーです。たとえば、C:\Program Files\Polyspace\R2025b です。Polyspace デスクトップ製品のインストールも参照してください。

システム コマンド

polyspace-bug-finder(システム コマンド) Windows、Linux、またはその他のコマンド ラインからの Bug Finder 解析の実行
polyspace-comments-import(システム コマンド) 以前の Polyspace 解析からレビュー情報をインポート
polyspace-configure(システム コマンド) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成
polyspace-report-generator(システム コマンド) ローカルで、または Polyspace Access に保存される Polyspace 解析結果のレポートの生成
polyspace-results-export(システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート

トピック

関連情報