https://www.galois.com/articles/introducing-grease

Galois - Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code

Galoisがバイナリコード内の隠れた脆弱性を発見するためのオープンソースツールGREASEを紹介しています。

GREASEは、制約の少ないシンボリック実行を活用し、ソフトウェアリバースエンジニアがバイナリを分析し、見つけにくいバグを発見するのに役立ちます。

Ghidraのリバースエンジニアリングフレームワークのプラグイン、スタンドアロンのコマンドラインツール、またはHaskellライブラリとして使用できます。