デスクトップでの Code Prover 解析の設定
Polyspace® ユーザー インターフェイスまたはスクリプトを使用した C/C++ コードのランタイム エラーのチェック
Polyspace Code Prover™ を設定して実行し、コードのランタイム エラーをチェックします。Polyspace を設定して実行するには以下を使用します。
Polyspace ユーザー インターフェイス内のプロジェクト。
Windows® または Linux® スクリプト。
MATLAB® スクリプト。
カテゴリ
- Polyspace ユーザー インターフェイスでの Code Prover 解析
Polyspace ユーザー インターフェイスでの C/C++ コードのランタイム エラーのチェック
- Polyspace Platform ユーザー インターフェイスでの Code Prover 解析
Polyspace Platform ユーザー インターフェイスでの C/C++ コードの欠陥のチェック
- Windows または Linux スクリプトを使用した Code Prover 解析
バッチ ファイル (.bat) またはシェル スクリプト (.sh) を使用した C/C++ コードのランタイム エラーのチェック
- MATLAB スクリプトを使用した Code Prover 解析
MATLAB M ファイルを使用した C/C++ コードの欠陥のチェック
- Simulink での Code Prover 解析
Simulink® モデルにインポートされたコード、およびモデルから生成されたコードを検証します。
- クラスターでの Code Prover 解析
リモート クラスターでの C/C++ コードのランタイム エラーのチェック
- MATLAB Coder での Code Prover 解析
MATLAB コードから生成されたコードを検証する
- AUTOSAR コードの Code Prover 解析
AUTOSAR ソフトウェア コンポーネントのコード実装を検証する。
