問題タブ [misra]

大量のコードを MISRA に準拠させる必要があります。最初の質問:経験に基づいて、組み込みシステム用に適切に記述されたコードを渡すための見積もり
を 誰かに与えることができますか? 「よく書かれた」とは定義が不十分で曖昧であることを理解しているので、生の見積もりを求めます。 2 番目の質問: カスタマイズ可能 (つまり、特定の警告を抑制できる) で、自動ビルド環境 (つまり、コマンド ライン インターフェイス) で使用できるツールに関する推奨事項 。このタスクに役立つその他の有用な提案。 ありがとうイリヤ。

どうすればmisraルールをeclipseと統合できますか

MISRA-2004に準拠しているかどうかソースをコードチェックするためにPC-Lintを使用しています。これは安全関連のプロジェクトであり、TUVによる証明書を目指しているため、ツールに対する信頼の証拠を示す必要があります（「何度も使用した」などは受け入れません）。

私たちの目的は、ネガティブテストの完全なセットを用意し、MISRA-2004セットの各ルールについてツールをチェックし、それを破り、ツールによってエラーまたは警告を強制することです。

誰かがすでにこれを行っており、あなたはあなたの結果/ Cコードを共有する用意がありますか？

MISRA Cへの準拠をチェックするオープンソースまたは無料のツールはありますか？

を次のように定義しNULL_PTRます0U

NULL_PTR次に、これを引数として関数を呼び出します。

呼び出された関数プロトタイプ:

コンパイル時に、Misra はルール 11.3 違反エラーを発生させました (ポインター型と整数型の間でキャストを実行しないでください)。

しかし、次のように渡せばNULL_PTR違反にはなりません。

どちらがより良い方法ですか？Misra 11.3 ルールを抑制しますか、NULL_PTRそれともキャストせずにそのまま渡しますか?

一部の言語では、ルール/ベスト プラクティスなどがあります。ソフトウェアの安全性を促進し、期待される実行時の動作を確保するなどです。頭に浮かぶのは、C/C++ の MISRA と Ada の Ravenscar プロファイルの 2 つです。コードがこれらの基準に従っていると刻印されている場合、コードには通常、あたたかいあいまいな感覚があります。Javaにそのような標準はありますか?

MISRAが以下のコードでこのエラーを発生させないようにするにはどうすればよいですか？（unit16_t）でキャストしてみました。しかし、その後、明示的な変換は許可されませんでした。

複雑な式で、基になるMISRAタイプ「unsignedchar」から「unsignedint」への不正な暗黙の変換（MISRA C 2004ルール10.1）

MISRA C:2004 チェックをオンにして IAR Workbench コンパイラを使用しています。
フラグメントは次のとおりです。

MISRA エラーは次のとおりです。 エラー [Pm136]: 基礎となる MISRA 型 "unsigned char" から "unsigned int" への不正な明示的変換 (MISRA C 2004 ルール 10.3)

unsigned char上記のコードには何も表示されません。

なぜミスラはここでエラーをスローしたのですか?での議論 左シフトとは異なる昇格規則を持つ可能性のある乗算について説明します。

私の理解では、コンパイラは式を小さいサイズに降格するのではなく、より大きなサイズのデータ​​型に昇格させる必要があります。

ここで実際に何が起こっているのですか？

コードを MISRA C:2004 に準拠させるにはどうすればよいですか?

編集1：

エラー行を次のように変更します。

エラーが消えません。

MISRA の規則 2.2 では、「ソース コードは/* ... */スタイル コメントのみを使用する必要がある」と規定されています。このルールの根拠を知っている人はいますか? //スタイル コメントの何が問題になっていますか?

tolower「パブリック」スコープではなく 、標準ライブラリ関数を静的にする必要があります。

IAR Embedded Workbench コンパイラを使用して、MISRA C:2004 でコンパイルしています。コンパイラはtolowerインラインとして宣言しています:

コンパイラから次のエラーが表示されます。

これが私の提案する解決策です：

1. 複数のモジュールで必要とtolowerされるように、ダミーの状況で別のモジュールで使用します。
2. を使用せずに機能を実装しますtolower。これは組み込みシステムです。
3. デフォルトでは空として定義されている「STATIC」マクロを追加しますが、ヘッダー ファイルがインクルードされるstatic前に定義できます。ctype.h

MISRA リンカ エラーの解決策を探しています。tolowerRS232_Server 翻訳単位だけ関数を staticにしたい(tolower標準ヘッダー ファイルで static にすると、他の将来のプロジェクトに影響を与える可能性があります)。

編集1：

コンパイラは、ARM プロセッサ用の IAR Embedded Workbench 6.30 です。
ARM7TDMI プロセッサを 32 ビット モード (Thumb モードではない) で使用しています。関数は、デバッグ ポートで使用されます
。tolower

編集2：

_LocaleC_isupperとのエラーも発生しています_LocaleC_tolower

解決：

1. Michael Burr の推奨に従って、ベンダーに問題を通知しました。
2. ローカリゼーションの問題のため、ライブラリ ルーチンを書き直さないことにしました。
3. gbulmer の提案に従って、main.c ファイルに関数ポインターを実装しました。ただし、IAR が問題を解決した後に削除する必要があるため、これは信じられないほどコメントされます。