ページ ツリー

比較バージョン

キー

  • この行は追加されました。
  • この行は削除されました。
  • 書式設定が変更されました。

...

2次解析は『1次解析』の結果を利用して実行されるため、m3cmC言語の1次解析を行うqacコンポーネントに依存します。

またMISRA C:2012には、には『クロスモジュール解析(CMA)を実施しなければチェックできないガイドラインがあるため』を実施しなければチェックできないガイドラインがあるためm3cmrcmaにも依存します。

そのため、m3cmコンポーネントを解析に使用するには、先にqacコンポーネントとrcmaコンポーネントが追加されている必要があります。

...

コンポーネント先に追加されているべきコンポーネント
rcmaqac および qacpp
mta dataflow (※1)qac および qacpp
mta (※2)

qac, qacpp, dataflow の全て(※1)

namecheckqac または qacpp
m2cmqacおよび rcma, rcma, dataflow の全て(※1)
m3cmqacおよび rcma, rcma, dataflow, mta の全て(※1 ※3)
certccmqac, rcma, dataflow, mta の全て (※1 ※2)
cweccmqacおよび rcma, rcma, dataflow の全て(※1)
secccmqac, rcma, dataflow の全て(※1)
mcppqacppおよび rcma, rcma, dataflow の全て(※1)
acsmqacppおよび rcma, rcma, dataflow の全て(※1)
certcppcmqacpp, rcma, dataflow, mta の全て (※1 ※2)
cwecppcmqacppおよび 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)以降のみ