A SSA-based intermediate representation technique

Author

Liu, Xuying ; Yin, Wenjian ; Yin, Qing ; Jiang, Liehui

Author_Institution

Nat. Digital Switching Syst. Eng. & Technol. Res. Center, Zhengzhou, China

Volume

6

fYear

2010

fDate

24-26 Aug. 2010

Firstpage

98

Lastpage

101

Abstract

Intermediate representation techniques are positive for resolving generalness of decompilation. Focus on non-generalness of intermediate language, a binary reverse intermediate language BRIL which is independent of machine instructions and contains code dataflow information is proposed. It has high level language characteristics and eliminates the side effects of complex addressing manner and instruction semantics, besides introduces φ-function denotation in SSA. It can reflect behaviors of object code and express semantics of code completely, and can be used in decompilation of object code on different platforms. So it makes it easy to process code transformation, and helps to develop general decompiler greatly.

Keywords

data flow analysis; high level languages; instruction sets; program compilers; programming language semantics; φ-function denotation; BRIL; SSA-based intermediate representation; binary reverse intermediate language; code dataflow information; decompilation generalness; decompiler; high level language; instruction semantics; machine instruction; process code transformation; static single assignment; Registers; BRIL; Binary Reverse Intermediate Language; Decompilation; Intermediate Language; SSA;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer, Mechatronics, Control and Electronic Engineering (CMCE), 2010 International Conference on

Conference_Location

Changchun

Print_ISBN

978-1-4244-7957-3

Type

conf

DOI

10.1109/CMCE.2010.5609916

Filename

5609916