静的解析ツール

CodeSonarは、C/C++で書かれたソースコードから、さまざまな種類の重大なバグとセキュリティ上の脆弱性を検出し、ソフトウェアの品質を向上させる静的解析ツールです。

データフロー形式の解析により、ソフトウェアテストで見つけるようなランタイムエラーの検出は勿論のこと、MISRA、CERTなどのコーディング規約のチェックも可能です。また、通常では検出困難なマルチスレッドによるデータ競合状態等もチェック可能となります。
CodeSonarを使用することで、ソフトウェアの品質と生産性を向上させることが可能です。

解析レポート例

チャート/グラフ出力機能