「静的解析ツールQAC」の版間の差分
ナビゲーションに移動
検索に移動
(ページの作成:「== 静的解析ツールQAC == 東陽テクニカのソースコード静的チェックツール。C言語用。 コンパイルは通るけどバグを誘発する...」) |
(相違点なし)
|
2013年11月23日 (土) 16:30時点における版
静的解析ツールQAC
東陽テクニカのソースコード静的チェックツール。C言語用。
コンパイルは通るけどバグを誘発する、AUTO変数未初期化、NULLポインタの参照など、コーディングミスによるバグの原因になるところはことごとくチェックしてくれます。
用語
- 用語
- 解説
- ライセンス
- １台のPCでのみ実行できるノードロックライセンス、ネットワーク越しに使えるフローティングライセンスなど、色々ある。安いライセンスなら５０万程度からある。
メモ
- 1ライセンス50万しますが、その価値はあります。
- ある変数に値を代入してから、参照する前に書き換えると、「代入された値を参照前に破壊しているが良いか？」とかチェックしてくれます。
- MISRA対応品質保証ツールセットでMISRA-Cガイドラインでのチェックも可能。これを納品に要求する会社も出てきている。