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.