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