A SSA-based Intermediate Representation Technique
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.
BRIL Binary Reverse Intermediate Language SSA Decompilation Intermediate Language
Junxia Shi Xucheng Xue Yongfei Guo Junxia Shi
Changchun Institute of Optics,Fine Mechanics and Physics,the Chinese Academy of Science Changchun,13 Graduate School of the Chinese Academy of Sciences Beijing,100039,China
国际会议
长春
英文
98-101
2010-08-24（万方平台首次上网日期，不代表论文的发表时间）