nneonneo
2013-03-31 13:27:01 UTC
LLVM IRは、LLVMによって直接実行され、オンザフライでJITにコンパイルできる、かなり高レベルの型付きビットコードです。新しい実行可能形式またはプログラミング言語がLLVMの上に直接設計され、インタープリター型言語であるかのように実行されても、私は驚かないでしょう。
この点で、私は状態に興味があります。 LLVM逆コンパイルに関する最新技術。これは分析しやすいように特別に設計された型付きビットコードであるため、逆コンパイル（または少なくともより読みやすい論理形式に再構築）が比較的簡単であると予想される場合があります。
グーグルはこのBSc論文は比較的初歩的な仕事をしていますが、他のリードはほとんどないようです。このフェローのスーパーバイザーがこの分野でさらに調査を行うことを期待していたかもしれませんが、彼の焦点はコンパイラの設計分野の研究に向けられているようです。
研究プロジェクトはありますか、商用プロトタイプ、またはLLVM逆コンパイルの分野で行われているあらゆる種類の活発な研究ですか？