llvm - バイナリでシンボリック実行するためのツール

Question

バイナリでのシンボリック実行のためのツールはありますか? つまり、klee_make_symbolic のようにソース コードを変更する必要がないか、IR (llvm ir など) でそのような変更を行うことができます。事前に感謝します。

Answer 1

たぶん、マヤズムはあなたの要件に合うかもしれません。静的シンボリック実行をサポートするリバース エンジニア フレームワークです。私の知る限り、KLEE や S2E よりもシンプルです。