MATLAB Coder での Bug Finder 解析
MATLAB® コードから生成された C/C++ コードの欠陥のチェック
MATLAB Coder™ を使用して MATLAB コードから生成された C/C++ コードに、Polyspace® 解析を実行。
関数
pslinkoptions | オプション オブジェクトを作成して、Simulink モデルの生成コードまたはカスタム コードの Polyspace 解析をカスタマイズする |
pslinkrun | モデル、システムまたは S-Function での Polyspace 解析の実行 |
トピック
- MATLAB コードから生成された C/C++ コードに対する Polyspace の実行
生成されたコードに対して Polyspace を実行してランタイム エラーをチェックする。
- MATLAB Coder を使用して生成されたコードに対する Polyspace 詳細オプションの構成
コード メトリクスの計算やコンパイラのオプションなどの詳細な Polyspace 解析オプションを設定する。
- 生成コードに対し既定で有効な Polyspace Bug Finder 欠陥チェッカー
生成コードの解析時に既定で有効になっている Bug Finder チェッカーのリストを確認する。
注目の例
Generate MISRA C:2012 Compliant Code and Verify with Polyspace
Generate MISRA compliant code and verify using static analysis.
