一部の逆アセンブリと一部の C の制御フローを比較するツールはありますか?
これが私の状況です。関数の逆アセンブリ (x86_64) から始めました。一部の C コードでは、Hopper.app が提供する逆コンパイルを利用して、同じ機能を持つ関数を作成しようとしました。私の C コードが逆アセンブリの機能を正確に再作成することを確認したいと思います (可能なすべての入力とグローバル状態について)。制御フロー グラフを比較できるようになることを願っています。
このホワイト ペーパーの要約によると、少なくとも Java のコンテキストでは、この分野でいくつかの作業が行われています。
逆アセンブル用の制御フロー グラフの生成と比較に使用できるツールはありますか? 理想的には、私が始めた逆アセンブリの制御フローと、思いついた C コードを比較できればよいのですが、私が始めた逆アセンブリの制御フローと、C コードから生成できる逆アセンブリの制御フローを比較すると、それでも素晴らしいです。