バイナリコード向け高精度静的解析ツール CodeSonar for Binaries
(x86, x86_64, ARM) 類を見ないバイナリコード解析技術で、ライブラリや実行ファイルから静的にバグを検出

CodeSonar for Binaries は、バイナリコードを静的に深く解析し、さまざまな種類の重大なバグとセキュリティ上の脆弱性を検出し、ソフトウェアの品質を向上させるバイナリコード向け高精度静的解析ツールです。

従来の静的解析ツールでは、C/C++ や Java などのコードは解析できましたが、バイナリコードは解析できませんでした。CodeSonar for Binaries では、サードパーティなどからバイナリ形式で供給された「.exe」や「.dll」ファイルのコードを静的に解析し、不具合を発見することが可能です。また、コンパイラに起因するトラブル、従来の静的解析ツールが未対応の言語で記述されたプログラムなども、バイナリレベルの解析により、検出・分析することができます。

CodeSonar for Binaries は、開発段階における脆弱性の検出、出荷前のセキュリティの検証など、幅広い用途で使用可能なツールです。

検出できる主な基本的バグクラス一覧

バッファオーバラン
バッファアンダーラン
危険な関数キャスト
ゼロによる割り算
二重解放
二重クローズ
二重ロック
二重アンロック
非ヒープ変数解放
NULL ポインタ解放
メモリリーク
リソースリーク
NULL ポインタ参照
ローカル変数へのポインタ戻し
解放メモリへのポインタ戻し
解放後の使用
ビット幅を超えるシフト
負の値のシフト

主な特長

Taint（汚染）解析機能
ユーザ入力の値、ネットワークからの値、ファイルからの値などがチェックなしで使用され、割り当てられたサイズを超える問題の検出
レポート機能
HTML および PDF でのカスタマイズ可能なレポートの生成
スコア機能による結果の精査効率向上
検出されたワーニングに対する80段階の細かな重みづけ
エンタープライズ対応により、プロジェクト管理やレポートの共有が可能

バイナリ解析イメージ

Hub（ハブ）
Hub は、結果レポートを保存するデータベース、Web サーバです。Hub では解析を行いません。
Analysis Daemon（解析用デーモン）
実際のコード解析は、この解析用デーモンで行います。解析結果は、Hub にアップロードされ、開発チームが効率よく結果をマネージ（調整や修正など）することができます。