Boomerang

デコンパイラは、入力として、実行可能ファイルを取り、ハイレベル、同じことをコンパイル、可能性も維持可能ソースファイルを作成しようとします。
したがって、ソースファイルを取得し、実行可能ファイルを作るコンパイラの反対です。しかし、一般的な逆コンパイラは、結果が高レベルのソースコードになるまで、むしろそれを繰り返し入力プログラムを変換し、逆コンパイラのすべてのアクションを逆転しようとしません。したがって、元のソースファイルを再作成しません。おそらく、それのような何もありません。
実行可​​能ファイルがシンボルを持っているかいないか、または任意の特定の言語からコンパイルされたかどうかは関係ありません。 （ただし、MLのような宣言型言語は考慮されません。）
その意図は、リターゲッタブル逆コンパイラ（ささやかな努力で機械コードファイルの種類を逆コンパイルすることができ、すなわち1つ、例えばX86-窓、SPARC-Solaris版、など）を作成することです。また、逆コンパイラの異なる部分は、実験のモジュールと交換することができるように、高度にモジュール化することを意図していました。これは、いくつかのもの（これらではないが、単に変数名とコメントは、明らかに非常に重要である）ので、最終的にラIDA Proは、インタラクティブになることを意図した専門家の介入を必要としました。対話は、逆コンパイラまたは別のツール不明のままに属しているかどうか。
個々の命令の意味を変換し、そのような静的単一代入データフロー解析などの強力な技術を用いることにより、ブーメランを使用するために起こったコンパイラの正確な振る舞いの（主に）独立していなければなりません。最適化は、結果に影響を与えてはなりません。したがって、目標は、一般的な逆コンパイラです。
制限事項：
·ケースでは、それが逆コンパイラのようであるように、その厳しい制限に注意して、（それを試して、またはそれを改善するとは対照的に）ブーメランを試してみたいです。 2004年初めの時点で、ブーメランのみとなりX86（のLinux / X86またはWindows PE）、SPARC（Solaris、またはおそらくのLinux / SPARC）、またはPower PC（のLinux / PPCまたはMac OS / X）プログラム逆コンパイル。特に、それはDOSまたはNE（Windows 3.1の）プログラムをコンパイルしないことに注意してください。別のプロセッサを追加すると、大規模（数月）仕事です。
 
·これはCのみではなく、C ++が生成されます。これは、C ++コースのプログラム、（とアセンブラを含むプログラムの任意の種類の）逆コンパイルします。あなたが使用可能なC ++ソースコードにいくつかのC ++プログラムを手動で編集することができる場合があります。 MSVCコンパイルされたプログラムについては、現在では逆コンパイラをspoonfeedと1つのレジスタのパラメータ（thiscall呼び出し規約）があることを伝える必要があります。これを処理するためのスイッチが複雑です。 -sfスイッチを使用して参照してください。