Windows または Linux スクリプトを使用した Code Prover 解析
.bat) またはシェル スクリプト (.sh) を使用した C/C++ コードのランタイム エラーのチェックWindows® または Linux® スクリプトを使用して Polyspace® 解析を構成して実行します。使用可能なシステム コマンドと、これらのコマンドを使用してコマンド ラインから Polyspace を実行する方法について説明します。
コマンドの絶対パスの入力を省略するには、パス polyspaceroot\polyspace\binPath に追加します。ここで、polyspacerootC:\Program Files\Polyspace\R2025b です。Polyspace デスクトップ製品のインストールも参照してください。
システム コマンド
polyspace-code-prover | (システム コマンド) Windows、Linux、またはその他のコマンド ラインから Code Prover 検証を実行 |
polyspace-comments-import | (システム コマンド) 以前の Polyspace 解析からレビュー情報をインポート |
polyspace-configure | (システム コマンド) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成 |
polyspace-report-generator | (システム コマンド) ローカルで、または Polyspace Access に保存される Polyspace 解析結果のレポートの生成 |
polyspace-results-export | (システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート |
トピック
- コマンド ラインからの Polyspace 解析の実行
バッチ ファイル (
.bat) またはシェル スクリプト (.sh) を使用して、Bug Finder や Code Prover で C/C++ コードをチェックする。 - ビルド コマンド (Makefile) からの Polyspace 解析構成の作成
ビルド コマンド (makefile) を再利用して Polyspace 解析オプションを構成する。
- ユーザー インターフェイスでの Polyspace 解析オプションの設定とスクリプトの生成
Polyspace デスクトップ製品のユーザー インターフェイスで構成したプロジェクトから、自動実行のためのスクリプトを作成する。
- 初期相互依存関係の分析に基づくコマンド ラインでのPolyspace 解析のモジュール化
モジュール検証を高速化するため、Polyspace 解析を比較的独立した小さなモジュールに分割します。
- Test Functions and Constrain Polyspace Code Prover Analysis for Ranges of Inputs and Outputs (Polyspace Test)
Test functions over one or more ranges of input and verify if the output is within a valid range using range specification macros. Run static analysis on the function and associated tests using the specified ranges as external constraint.
- Classify Project Files into File Sets for Precise Control of Polyspace Analysis
Control precisely which files to include in analysis and how to analyze them.
