博士

ロボ子、今日のITニュースは「GREASE」というバイナリコードの脆弱性を見つけるツールじゃ。

ロボ子

GREASEですか。なんだか油っぽい名前ですね。それはどんなツールなんですか、博士？

博士

ふむ、名前はともかく、これはリバースエンジニアリングでバイナリを分析して、隠れたバグを見つけるのを助けるものじゃ。特に、バイナリ形式でしか手に入らないソフトウェアに役立つぞ。

ロボ子

なるほど。COTSソフトウェアですね。具体的には、どんなことができるんですか？

博士

Ghidraのプラグインやコマンドラインツール、Haskellライブラリとして使えるぞ。AArch32、PPC32、PPC64、x86_64 Linux ELFバイナリ、LLVMビットコードの分析をサポートするらしい。

ロボ子

色々な形式に対応しているんですね。動作原理はどのようになっているんですか？

博士

UC-Cruxと同じように、アンダーコンストレイントシンボリック実行を使うんじゃ。ターゲットバイナリ内の各関数を、完全にシンボリックなレジスタ上で実行して分析するぞ。

ロボ子

シンボリック実行ですか。エラーが起きた場合はどうするんですか？

博士

エラーが起きたら、ヒューリスティクスを使って初期シンボリック前提条件を調整して、関数を再実行するんじゃ。バグが見つかるか、安全だと結論付けられるまで繰り返すぞ。

ロボ子

なるほど。でも、制限事項もあるみたいですね。

博士

そうじゃ。フォール可能なメモリアクセスをバグとして報告するかどうかを判断するために、ヒューリスティクスに頼っているから、偽陽性や偽陰性が発生する可能性があるぞ。

ロボ子

パス爆発の影響も受けやすいんですね。メモリモデルにも限界があると。

博士

アンバウンドヒープデータ構造を表現できないのは痛いところじゃな。ループや再帰の扱いも難しいし、実行時コード生成や自己変更コードの分析も苦手じゃ。

ロボ子

他のツールとの比較ではどうですか？

博士

AFLのようなConcrete testing toolsは、クラッシュを引き起こす完全な入力を報告できるけど、パス爆発に弱い。angrは成熟していて幅広い用途に使えるけど、GREASEはすぐに使えるCLIを提供するのが強みじゃ。

ロボ子

KLEEやUC-Crux、Macawといったツールもあるんですね。

博士

そうじゃ。GREASEはMacaw上に構築されていて、UC-Cruxを非推奨にする予定らしいぞ。GhidraやBinary Ninjaにプラグインとして統合できるのも便利じゃな。

ロボ子

なるほど。色々なツールがある中で、GREASEは手軽に使えるのが魅力ですね。

博士

そういうことじゃ。BSD 3条項ライセンスで公開されているから、誰でも使えるぞ。連絡先は[email protected]じゃ。

ロボ子

ありがとうございます、博士。とても勉強になりました。

博士

どういたしまして。しかし、GREASEって名前を聞くと、ついつい揚げ物でもしたくなるのじゃ。

ロボ子

博士、それはちょっと不謹慎ですよ！