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

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

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

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

Polyspace オプション

すべて展開する

-h | -help使用可能なオプションのリストを表示
-doc | -documentationWeb ブラウザーでの Polyspace ドキュメンテーションの表示
-list-all-values特定のコマンド ライン オプションに対して有効なオプション引数の表示
-verPolyspace 製品のシステム情報の表示
-v | -versionPolyspace バージョン番号の表示
コード検証の終了後に適用するコマンド/スクリプト (-post-analysis-command)解析後に実行されるコマンドまたはスクリプトの指定
-options-fileオプションのリストを使用した Polyspace の実行
-results-dir解析結果フォルダーの指定

システム コマンド

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 結果のエクスポート
polyspace-project -diff, polyspace-project -merge(System Command) Compare and merge Polyspace Platform projects, workspaces, configurations and tests before submission to source control
polyspace-project -convert-psprj-to-workspace(System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files
polyspace-project -generate-launching-script-for(System Command) Generate files needed to run static analysis on a Polyspace Platform project

トピック

関連情報