...
2次解析は『1次解析』の結果を利用して実行されるため、m3cmはC言語の1次解析を行うqacコンポーネントに依存します。
またMISRA C:2012には、クロスモジュール解析には『クロスモジュール解析(CMA)を実施しなければチェックできないガイドラインがあるため』を実施しなければチェックできないガイドラインがあるためm3cmはrcmaにも依存します。
そのため、m3cmコンポーネントを解析に使用するには、先にqacコンポーネントとrcmaコンポーネントが追加されている必要があります。
...
コンポーネント | 先に追加されているべきコンポーネント |
rcma | qac および qacpp |
mta dataflow (※※1) | qac および qacpp |
mta (※2) | qac, qacpp, dataflow の全て(※1) |
namecheck | qac または qacpp |
m2cm | qacおよび rcma, rcma, dataflow の全て(※1) |
m3cm | qacおよび rcma, rcma, dataflow, mta の全て(※1 ※3) |
certccm | qac, rcma, dataflow, mta の全て (※※1 ※2) |
cweccm | qacおよび rcma, rcma, dataflow の全て(※1) |
secccm | qac, rcma, dataflow の全て(※1) |
mcpp | qacppおよび rcma, rcma, dataflow の全て(※1) |
acsm | qacppおよび rcma, rcma, dataflow の全て(※1) |
certcppcm | qacpp, rcma, dataflow, mta の全て (※※1 ※2) |
cwecppcm | qacppおよび rcma |
...
, rcma, dataflow の全て(※1) |
※1 : dataflowは QAC 11.0.0/QAC++ 6.0.0(Helix QAC 2022.4)以降のみ
※2 : mtaは QAC 9.6.0/QAC++ 4.4.0(Helix QAC 2019.1)以降のみ
※3 : mtaは QAC 11.1.0(Helix QAC 2023.1)以降のみ