QAC / QAC++ の解析は
を組み合わせて行います。
※『データフロー解析(DFA)』は1次解析の一部ですが、1次解析とは分けて考える場合もありますは1次解析の一部ですが、1次解析とは分けて考える場合もあります
以下の表は、各解析コンポーネントとその説明です。
コンポーネント | 説明 | 解析の種類 |
---|---|---|
qac | C言語用アナライザです。QACのライセンスで動作します。 | 1次解析 |
qacpp | C++言語用アナライザです。QAC++ のライセンスで動作します。 | 1次解析1次解析 |
rcma | クロスモジュール解析(CMA)用コンポーネントです。QACまたはQAC++のライセンスで動作します。 | CMA |
mta | マルチスレッド解析(MTA)用コンポーネントです。QACまたはQAC++のライセンスで動作します。 ※Helix QAC 2019.1 (QAC 9.6.0 / QAC++ 4.4.0) 以降 | MTA |
namecheck | 命名規則チェック用コンポーネントです。QACまたはQAC++のライセンスで動作します。 | 2次解析2次解析 |
m2cm | MISRA C:2004 コンプライアンスモジュールです。m2cmのライセンスで動作します。 | 2次解析2次解析 |
m3cm | MISRA C:2012 コンプライアンスモジュールです。m3cmのライセンスで動作します。 | 2次解析2次解析 |
certccm | CERT C コンプライアンスモジュールです。certccmのライセンスで動作します。 | 2次解析2次解析 |
cweccm | CWE(C言語)コンプライアンスモジュールです。cweccmのライセンスで動作します。 | 2次解析2次解析 |
mcpp | MISRA C++ コンプライアンスモジュールです。mcppのライセンスで動作します。 | 2次解析2次解析 |
ascm | AUTOSAR コンプライアンスモジュールです。ascmのライセンスで動作します。 | 2次解析2次解析 |
certcppcm | CERT C++ コンプライアンスモジュールです。certcppcmのライセンスで動作します。 | 2次解析2次解析 |
cwecppcm | CWE(C++言語)コンプライアンスモジュールです。cwecppcmのライセンスで動作します。 | 2次解析2次解析 |
qacs | C#言語用アナライザです。日本では販売しておりません。 | - |
qaj checkstyle findbugs pmd | Java言語用アナライザです。日本では販売しておりません。 | - |
mtr | マルチスレッド解析用コンポーネントの旧名称です。mtaに名称が変更になりました。 | - |
checkmarx | checkmarxとの連携用プラグインです。日本では販売しておりません。 | - |