MISRA CやCERT Cなどのコンプライアンスモジュールを使用する場合、各ガイドラインのチェックは
次の解析による警告メッセージを組み合わせて実施されます。
① 1次解析
② データフロー解析
③ ④マルチスレッド解析（使用しないコンプライアンスモジュールもあります）
④ ⑤ 各コンプライアンスモジュール用の追加解析
①～③の解析は～④の解析はQACまたはQAC++のライセンスで実施することができますが、
④⑤の解析を行うには対応するコンプライアンスモジュールを購入いただく必要があります。
④の解析で検出された問題点は、⑤の解析で検出された問題点は、5000番台の警告メッセージで出力されます。
また、コンプライアンスモジュールを使用しない場合、警告メッセージは各ガイドラインのルール番号と紐づけて出力されません(『コンプライアンスモジュール』を参照)。
...