メインコンテンツ

プラグインを使用しない IDE またはエディターでの Polyspace as You Code の実行

コマンド ラインでの実行のための Polyspace® as You Code プラグインの構成、サポートされていない IDE とエディターからのコマンド ライン実行のトリガー

ご使用のオペレーティング システムのターミナルで Polyspace as You Code を直接実行できます。コマンド ライン実行をトリガーして IDE またはエディター内でコンソール出力を表示できる場合には、プラグインまたは拡張機能で直接サポートされていない IDE またはエディターで Polyspace as You Code を使用できます。

システム コマンド

polyspace-bug-finder-access(システム コマンド) WindowsLinux、またはその他のコマンド ラインから 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 結果のエクスポート

トピック

使用法

インストールと構成