Abstract: It is important to transform machine code to high level language program in program analysis, verification, maintenance and reformation. The transformation is named decompileing or anti-compiling. In this paper, how to apply the techniques of pattern recognition, symbol execution, program transformation and knowledge engineering in decompiler design is presented.