Polyspace Bug FinderのMISRA C:2012チェック​は、Dir3.1/D​ir4.2以外は完全​サポートされていると​考えてよろしいでしょ​うか？

Polyspace Bug FinderのMISRA C:2012チェックは、Dir3.1/Dir4.2以外は完全サポートされていると考えてよろしいでしょうか？

他社の静的解析ツールを参照した際に、チェックする各ルールに関して、完全にチェックできる場合は「完全サポート」、一部チェックできないケースがある場合は「一部サポート」と記載されておりました。

以下の情報を参照したのですが、Polyspaceでチェックできると記載されている場合は「完全サポート」に相当すると考えてよいか判断できなかったため、質問させていただきました。

■参照した情報１：「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

https://jp.mathworks.com/help/bugfinder/ug/polyspace-misra-c-2012-checker.html

■参照した情報２：「サポートされていない 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

https://jp.mathworks.com/help/bugfinder/ug/misra-c2012-guidelines-not-checked.html

■参照した情報３：「MISRA C:2012 命令およびルール」ページ抜粋

Polyspaceでサポートされている MISRAR C:2012 コーディング ガイドラインの説明と例

https://jp.mathworks.com/help/bugfinder/misra-c-2012-reference.html?searchHighlight=misra-c&s_tid=srchtitle

※ここにはチェック可能な命令/ルールの一覧が記載されていました。

　各命令/ルールに関して、完全サポート/一部サポートなどの分類は記載されていませんでした。