実行不可能なバイナリファイル用のCFGの生成方法

Question

実行不可能なバイナリファイル用のコントロールフローグラフを生成します。目的は、生成されたLinuxカーネルのバイナリファイルに対して静的解析を実行することです。これを行うためのツールはありますか？検索で見つけたツールは実行可能ファイルのみです。

私はアセンブリにバイナリを逆アセンブルするためにobj-dumpを使います。現在、アセンブリの基本ブロックの解析を行っていますが、この方法ではすべての実行パスがカバーされているかどうかは保証できません。

Answer 1

GrammaTech CodeSonarは、バイナリまたは個々のオブジェクトファイルの静的解析を提供できます。https://www.grammatech.com/products/binary-analysis。これは商用ツールです。