ddisasm

Datalog ディスアセンブリ DDisasm は、 高速 で逆アセンブル結果のアセンブリコードを再アセンブル可能なほど 正確 な逆アセンブラです。DDisasm は、datalog souffle 宣言型論理プログラミング言語を用いて実装されており、逆アセンブルのルールとヒューリスティックをコンパイルします。この逆アセンブラはまずELF/PEファイル情報を解析し、可能な命令のスーパーセットをデコードして、初期のdatalog ファクトセットを作成します。これらのファクトを解析して、 コード位置 、 シンボル化 、 関数境界 を特定します。この分析結果である洗練されたdatalog...