Polyspace Bug FinderのMISRA C:2012チェックは、Dir3.1/Dir4.2以外は完全サポートされていると考えてよろしいでしょうか?
3 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Polyspace Bug FinderのMISRA C:2012チェックは、Dir3.1/Dir4.2以外は完全サポートされていると考えてよろしいでしょうか?
他社の静的解析ツールを参照した際に、チェックする各ルールに関して、完全にチェックできる場合は「完全サポート」、一部チェックできないケースがある場合は「一部サポート」と記載されておりました。
以下の情報を参照したのですが、Polyspaceでチェックできると記載されている場合は「完全サポート」に相当すると考えてよいか判断できなかったため、質問させていただきました。
■参照した情報1:「Polyspace MISRA C:2012 チェッカー」ページ抜粋
Polyspace Bug Finderでは、すべての MISRA C:2012 ルールとほとんどの MISRA C:2012 命令をチェックできます。
Polyspace Code Prover では、次についてのチェックはサポートされていません。
・MISRA C:2012 Dir 4.4、Dir 4.7、4.13、および 4.14
・MISRA C: 2012 ルール 21.13、21.14 および 21.17 ~ 21.20
・MISRA C: 2012 ルール 22.1 ~ 22.4 および 22.6 ~ 22.10
■参照した情報2:「サポートされていない MISRA C:2012 ガイドライン」ページ抜粋
Polyspaceコーディング ルール チェッカーでは、以下の MISRA CR:2012 命令はチェックされません。
命令 3.1必要必要All code shall be traceable to documented requirements
命令 4.2推奨推奨All usage of assembly language should be documented
■参照した情報3:「MISRA C:2012 命令およびルール」ページ抜粋
Polyspaceでサポートされている MISRAR C:2012 コーディング ガイドラインの説明と例
※ここにはチェック可能な命令/ルールの一覧が記載されていました。
各命令/ルールに関して、完全サポート/一部サポートなどの分類は記載されていませんでした。
0 comentarios
Respuestas (0)
Ver también
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!