符号付き整数のビット演算のチェック

チェック ID: mathworks.misra.CompliantCGIRConstructions

符号付き整数のビット演算を含む Simulink ブロックを特定します。

説明

このチェックの推奨事項に従うと、組み込みアプリケーション用の MISRA C:2012 および MISRA C:2023 準拠コードと、CERT C 標準および CWE 標準に準拠するコードが生成される可能性が高くなります。

Embedded Coder® および Simulink® Check™ で使用できます。

メモ

モデルに Stateflow の要素が含まれている場合、Stateflow® ライセンスが必要です。

結果と推奨アクション

条件推奨アクション
モデルに符号付き整数のビット演算を含むブロックがある。符号なし整数のビット演算を使用することを検討してください。

機能および制限事項

  • このチェックは、モデル レベルではなく、生成されたコード レベルで動作します。したがって、基になるモデルで該当する問題が生じる可能性があっても、生成されたコードで安全でない入力検証結果が示されない場合は、ブロックにフラグが付けられないことがあります。この制限を回避するには、モデル レベルで安全でない入力検証を検出するように設計されているCheck usage of bit operation blocksチェックを使用します。

参考