静的解析ツールQAC

静的解析ツールQAC

東陽テクニカのソースコード静的チェックツール。C言語用。

コンパイルは通るけどバグを誘発する、AUTO変数未初期化、NULLポインタの参照など、コーディングミスによるバグの原因になるところはことごとくチェックしてくれます。

用語

用語
解説
ライセンス
1台のPCでのみ実行できるノードロックライセンス、ネットワーク越しに使えるフローティングライセンスなど、色々ある。安いライセンスなら50万程度からある。

メモ

  • 1ライセンス50万しますが、その価値はあります。
  • ある変数に値を代入してから、参照する前に書き換えると、「代入された値を参照前に破壊しているが良いか?」とかチェックしてくれます。
  • MISRA対応品質保証ツールセットでMISRA-Cガイドラインでのチェックも可能。これを納品に要求する会社も出てきている。

商品情報

話題まとめ

チャットログ

資料リンク

リンク