Binary Translation 技術是將某一平台架構之Binary Executable 轉換成另一種平台架構的 Binary Executable 。 Binary Translation 的分類大致上又可分為兩類：Static Binary Translation 以及 Dynamic Binary Translation，而能夠支援多種平台架構間相互轉換的Binary Translator，又稱其具有Resourceable 和 Retargetable (Adaptable) 的性質。
在本篇論文中，將實作一個利用 LLVM Machine Code Layer 來轉譯的 Static Binary Translator。主要機制是透過 LLVM Backend 的 Machine Code layer 來分析 Binary Executable，將 Binary Executable 回到LLVM Intermediate Representation Layer ， 再利用LLVM 編譯器本身能產生多種平台的Binary Executable 之特性來達成在多個平台能夠轉譯至不同平台之目的 , 提升程式的相容性。

Binary Translation Technology is a platform architecture of the Binary Executable into another platform architecture Binary Executable. Binary Translation classification generally can be divided into two categories: Static Binary Translation and Dynamic Binary Translation, and can support a variety of inter-platform architecture conversion of Binary Translator, also known as having Resourceable and Retargetable (Adaptable) in nature.
In this paper, we will make a real use LLVM Machine Code Layer to translate the Static Binary Translator. The main mechanism is through the LLVM Backend of Machine Code layer to analyze the Binary Executable, the Binary Executable Back LLVM Intermediate Representation Layer, re-use LLVM compiler itself generates characteristic Binary Executable of a variety of platforms to reach multiple platforms can translate to different purpose platform, the upgrade program compatibility.

[1] F. Bellard, “Qemu, a fast and portable dynamic translator,” in USENIX Annual Technical Conference, FREENIX Track, 2005, pp. 41–46.

[2] C. Cifuentes and V. M. Malhotra, “Binary Translation: Static, Dynamic,Retargetable?” in Proceedings of the 1996 International Conference on Software Maintenance, ser. ICSM ’96. Washington, DC, USA: IEEE Computer Society, 1996.

[3] C. Lattner and V. Adve, “LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation,” in Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, ser. CGO ’04. Washington, DC,USA: IEEE Computer Society, 2004, pp. 75–.

[4] V. Bala, E. Duesterwald, and S. Banerjia, “Dynamo: a transparent
dynamic optimization system,” in PLDI ’00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation. New York, NY, USA:
ACM, 2000, pp. 1–12.

[5] V. Adve, C. Lattner, M. Brukman, A. Shukla, and B. Gaeke. LLVA： A Low-level Virtual Instruction Set Architecture. In 36th Int’l Symp. on Microarchitecture, pages 205–216, San Diego, CA, Dec 2003.

[6] S. Sridhar, J. S. Shapiro, E. Northup, and P. P. Bungale, “HDTrans: An Open Source, Low-Level Dynamic Instrumentation System”, Proceedings of VEE’06, June 2006, Ottawa, Ontario, Canada, pp.175–185.

[7] C. Cifuentes and M. V. Emmerik, “UQBT: Adaptable Binary Translation at Low Cost,” Computer, vol. 33, pp. 60–66, March 2000.

[8] C. Lattner and V. Adve. LLVM Language Reference Manual. http://llvm.cs.uiuc.edu/docs/LangRef.html.

[9]“Tiny Code Generator (TCG) Documentation,”
http://wiki.qemu.org/Documentation/TCG.

[10] “CLANG,” http://clang.llvm.org.

[11] Chi-Keung et al Luk. Pin: building customized program analysis tools with dynamic instrumentation. In PLDI ’05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pages 190–200, New York, NY, USA, 2005. ACM.

[12] M. R. Guthaus et al. MiBench: A free, commercially representative embedded benchmark suite. In IEEE 4th Workshop on Workload Characterization, Dec. 2001.

[13] “GCC, the GNU Compiler Collection,” http://gcc.gnu.org/.

[14] T. Austin, E. Larson, and D. Emst. Simplescalar: An infrastruc-ture for computer system modeling. In IEEE Computer, 35(2):59–67, 2002.

[15] B. De Sutter, B. De Bus, K. De Bosschere, P. Keyngnaert, and B. Demoen, “On the Static Analysis of Indirect Control Transfers in Binaries”, Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2000.

[16] C. Cifuentes and M. Van Emmerik, “Recovery of Jump Table Case Statements from Binary Code” Proceedings of the International Workshop on Program Comprehension, May 1999

[17] H. Theiling, “Extracting Safe and Precise Control Flow from Binaries” Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Dec. 2000.

[18] Kruegel, Christopher, et al. "Static disassembly of obfuscated binaries."Proceedings of the 13th USENIX Security Symposium. 2004

[19] Jhong-Jhe Wu "SQEMU：A Retargetable Static Binary Translator"

[20] LLVM Project Blog : Intro to the LLVM MC Project

[21] LLVM Project Blog : The x86 Disassembler

[22] Howto: Implementing LLVM Integrated Assembler

[23] Life of an instruction in LLVM