...
コンポーネントの処理は、他のコンポーネントの結果に依存する場合があります。
例えば、m3cmはMISRA C:2012用の2次解析を行うコンポーネントです。2次解析は1次解析の結果を利用して実行されるため、用の『2次解析』を行うコンポーネントです。
2次解析は『1次解析』の結果を利用して実行されるため、m3cmはC言語の1次解析を行う言語の1次解析を行うqacコンポーネントに依存します。
またMISRA C:2012には、クロスモジュール解析には『クロスモジュール解析(CMA)を実施しなければチェックできないガイドラインがあるため』を実施しなければチェックできないガイドラインがあるためm3cmはrcmaにも依存します。
そのため、m3cmコンポーネントを解析に使用するには、先にqacコンポーネントとrcmaコンポーネントが追加されている必要があります。
...
コンポーネント | 先に追加されているべきコンポーネント |
rcma | qac および qacpp |
dataflow (※1) | qac および qacpp |
mta (※※2) | qac および qacpp, 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, dataflow の全て(※1) |
secccm | qacおよび rcma, 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)以降のみ