CodeSonar

CodeSonarは、主要なコード解析ツールです。重要なソフトウェアアプリケーションを検証するために、主要な研究事業体、政府、民間企業の間で人気です。例えば、CodeSonarはNASAの宇宙ミッション、植込み型医療機器、重要な軍事用途、および多くのためのソフトウェアを検査するために使用されてきました。 CodeSonarが原因同時実行性と汚染されたデータフロー解析でGrammaTechの最近の進歩に他のツールよりも多くの欠陥を見つけるために主張しています。テスト、CodeSonarリソース管理で最高を行い、スタティックメモリを識別し、同時実行の分析をベンチマークで競合するソフトウェアと頭に頭を置いたとき。 CodeSonarは、増分更新とは別に、プログラム全体の解析に有効です。これは、最初のプログラム全体を検査するために、ベースライン分析を使用し、それは毎日の変化を検証するために平行と増分検査処理を施します。 CodeSonarは、ソフトウェアシステムへの影響の様々な程度を有する全てが、致命的な重大な、及び無害な欠陥を識別する。 全体的に、このツールは、大規模なアプリケーション開発の取り組みを検証するために設計されています。分析は、高性能マシンで完了していることが推奨されるように、その分析エンジンは、リソースを大量に消費することができます。別に消費のその高いレベルから、それは信頼性と主要なソフトウェア品質ツールです。