バイナリ実行可能ファイルから数学方程式を逆工学する REMaQE

REMaQEは、バイナリ実行可能ファイルから数学方程式を自動的に逆工学する汎用的なフレームワークである。パラメータ解析と代数的簡略化の手法を用いて、オブジェクト指向の実装を含む様々な関数から人間に理解しやすい数学方程式を生成する。