プラグインを使用しない IDE またはエディターでの Polyspace as You Code の実行
コマンド ラインでの実行のための Polyspace as You Code プラグインの構成、サポートされていない IDE とエディターからのコマンド ライン実行のトリガー
ご使用のオペレーティング システムのターミナルで Polyspace® as You Code を直接実行できます。コマンド ライン実行をトリガーして IDE またはエディター内でコンソール出力を表示できる場合には、プラグインまたは拡張機能で直接サポートされていない IDE またはエディターで Polyspace as You Code を使用できます。
DOS/UNIX コマンド
polyspace-access | (DOS/UNIX) コマンド ラインでの PolyspaceAccess の結果とユーザーの管理 |
polyspace-bug-finder-access | (DOS/UNIX) Windows、Linux、またはその他のコマンド ラインからの Polyspace as You Code の実行 |
polyspace-comments-import (Polyspace Bug Finder) | (DOS/UNIX) 以前の Polyspace 解析からレビュー情報をインポート |
polyspace-configure (Polyspace Bug Finder) | (DOS/UNIX) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成 |
polyspace-results-export (Polyspace Bug Finder) | (DOS/UNIX) CSV や JSON などの外部形式への Polyspace 結果のエクスポート |
トピック
使用法
- Run Polyspace as You Code from Command Line and Export Results
Print Polyspace as You Code results in text or parsed JSON format on IDE consoles or command line.
インストールと構成
- 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 の結果をベースラインとして設定する
ベースラインを取得して新しい結果のみに注目し、レビュー情報をインポートし、統合コンテキスト情報を取得する。