プラグインを使用しない 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.
- Integrate Polyspace as You Code in IDEs and Editors Without Plugins

インストールと構成

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 の解析範囲
コマンドラインで Polyspace as You Code の結果をベースラインとして設定する
ベースラインを取得して新しい結果のみに注目し、レビュー情報をインポートし、統合コンテキスト情報を取得する。