static-code-analysis

3熱

3答えて

MISRA-2004のコードチェックツールを検証するためのCファイルを作成した人はいますか？

私たちは、MISRA-2004に準拠しているかどうかのソースコードチェックにPC-Lintを使用しています。これは安全関連のプロジェクトであり、TUVによる証明書に進むために、私たちはツールに自信を持っていることを証明する必要があります（「何度も使用しました」など）。私たちの目的は、MISRA-2004セットの各ルールのツールを壊して、ツールによってエラーまたは警告を強制することによってツールを