ビルド プロセスの理解

あらゆる全プログラム静的解析の基本となるのが、ネイティブのビルド環境（make、Visual Studio、ant、その他）を統合し、自動で理解する能力です。Klocwork Insight がサポートするビルド環境の一覧は、技術仕様 ページでご覧いただけます。

制御フロー グラフのデータフロー解析

同技術は最新のソース コード解析の核となる部分であり、lint など旧来のツールだけでなく、現在提供されているオープン ソース ツールの多くと今日のツールとの違いはここにあります。Klocwork Truepath™ は、データ オブジェクトの作成から割り当て、使用、削除にいたるまでのライフサイクル全般を追跡します。バグの特定と解析はプロシージャ間で実行され、巨大なコード ベースをカバーすることが可能です。