プラグインを使用しない IDE またはエディターでの Polyspace as You Code の実行
コマンド ラインでの実行のための Polyspace® as You Code プラグインの構成、サポートされていない IDE とエディターからのコマンド ライン実行のトリガー
ご使用のオペレーティング システムのターミナルで Polyspace as You Code を直接実行できます。コマンド ライン実行をトリガーして IDE またはエディター内でコンソール出力を表示できる場合には、プラグインまたは拡張機能で直接サポートされていない IDE またはエディターで Polyspace as You Code を使用できます。
システム コマンド
polyspace-bug-finder-access | (システム コマンド) Windows、Linux、またはその他のコマンド ラインから Polyspace as You Code を実行 |
polyspace-comments-import (Polyspace Bug Finder) | (システム コマンド) 以前の Polyspace 解析からレビュー情報をインポート |
polyspace-configure (Polyspace Bug Finder) | (システム コマンド) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成 |
polyspace-results-export (Polyspace Bug Finder) | (システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート |
トピック
使用法
- コマンド ラインから Polyspace as You Code を実行して、結果をエクスポートする
IDE コンソールまたはコマンド ラインに、テキスト形式または解析済み JSON 形式で Polyspace as You Code の結果を出力する。
インストールと構成
- Install Polyspace as You Code Using Installer
Install Polyspace as You Code analysis engine and IDE extensions. - Generate Build Options for Polyspace as You Code Analysis at the Command Line
Extract build configuration information from build command or JSON compilation database. - コマンド ラインでの Polyspace as You Code 用チェッカーの構成
Polyspace 欠陥チェッカーとコーディング ルール違反の選択を作成、変更、またはインポートする。
- コマンド ラインで Polyspace as You Code の結果をベースラインとして設定する
ベースラインを取得して新しい結果のみに注目し、レビュー情報をインポートし、統合コンテキスト情報を取得する。