MISRA-2004に準拠しているかどうかソースをコードチェックするためにPC-Lintを使用しています。これは安全関連のプロジェクトであり、TUVによる証明書を目指しているため、ツールに対する信頼の証拠を示す必要があります（「何度も使用した」などは受け入れません）。
私たちの目的は、ネガティブテストの完全なセットを用意し、MISRA-2004セットの各ルールについてツールをチェックし、それを破り、ツールによってエラーまたは警告を強制することです。
誰かがすでにこれを行っており、あなたはあなたの結果/ Cコードを共有する用意がありますか？
MISRA 準拠のための包括的なテスト スイートは知りませんが、MISRA のWeb サイトから MISRA "Exemplar Suite" をダウンロードできます。登録する必要があります (これは無料です)。その後、「MISRA C リソース」セクションでスイートをダウンロードできます。このスイートは網羅的ではありませんが、多くの例が含まれており、独自のテストを作成するための出発点として適しています。
あなたのケースでそれが何の価値があるかはわかりませんが、Gimpel が MISRA 1998 と 2004 の両方のコンプライアンス チャートを持っていることは知っています。これらのチャートはルールをリストし、Lint がルールのコンプライアンスを検証できるかどうかを示し、理由または方法を説明するコメントを提供します。
興味がある場合は、ここで MISRA:2004 を見つけることができます。MISRA 1998用のバージョンもあります。
そのための優れたツールが 1 つあります - QA-C MISRA