MISRA-C 全てのルールについて検出できますか？

CasePlayer2を使用して、MISRA-Cのルールに適合しているか確認しています。MISRA-C 全てのルールについて確認していると捉えて宜しいでしょうか。

CasePlayer2では、解析可能なルールに対してのみ対応しています。対応していないルール番号は下記の通りです。

ルール1.3 言語/コンパイラ/アセンブラが準拠するオブジェクトコードの共通のインタフェース規格が定義されている場合に限り，複数のコンパイラや言語を用いることができる。
ルール1.5 浮動小数点の実装は，定義された浮動小数点規格に従うべきである。
ルール3.6 製品コードで用いられるすべてのライブラリは，この文書の規定に従って記述されていなければならず，適切な妥当性確認を受けていなければならない。
※下記は文書化を要求するルールです。
ルール1.4 コンパイラやリンカが，外部識別子に対する31文字特徴及び大文字・小文字の区別をサポートしているのかを確認しなければならない。
ルール3.1 用いる処理系定義の動作は，すべて文書化しなければならない。
ルール3.2 文字集合及びそれに対応するエンコーディングは，文書化しなければならない。
ルール3.3 選定したコンパイラの整数除算の実装について確認し，文書化し，十分に配慮すべきである。
ルール3.4 用いる #pragma 指令は，すべて文書化し，説明しなければならない。
ルール3.5 ビットフィールドの処理系定義の動作とパッキングに（プログラムが）依存している場合，それは文書化しなければならない。