A SSA-based intermediate representation technique
Xuying Liu, Wenjian Yin, Qing Yin, Liehui Jiang · 2010
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.