このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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

チェック ID: mathworks.misra.CompliantCGIRConstructions

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

説明

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

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

メモ

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

結果と推奨アクション

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

機能および制限事項

次のことが可能です。

  • このチェックでは、モデル全体に対してコードが生成されることを想定しています。サブシステムのビルドまたはエクスポート関数によってコードが生成されると、チェックにより正しくない結果が生成される場合があります。

  • Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

参考