Abstract
Decompiling, as a means of analysing and understanding software, has great practical value. This paper presents a kind of decompiling method offered by the authors, in which the techniques of library-function pattern recognition, intermediate language, symbolic execution, rule-based data type recovery, program transformation, and knowledge engineering are separately applied to different phases of decompiling. Then it is discussed that the techniques of developing expert systems are adopted to build a decompiling system shell independent of the knowledge of language and program running environment. The shell will become a real decompiler, as long as the new knowledge of application environment is interactively acquired.
Similar content being viewed by others
References
Samuelson P. Reverse-engineering someone else's software: Is it legal.IEEE Software, 1990, 7(1): 90–96.
Liu Zongtian, Chen Fuan. The current status and problems of research on decompilation technology.Computer Science, 1992, 19(6): 55–58, in Chinese.
Liu Zongtian. Design method of 68000 C anti-compiler.Computer Research and Development, 1986, 23(6): 32–36, in Chinese.
Chen Fuan, Liu Zongtian, Li Li. Design and implementation techniques of the 8086 C decompiling system.Mini-Micro Systems, 1993, 14(4): 10–18, 31, in Chinese.
Letovsky, S. A program anti-compiler. In: Proc. of the Twenty-Second Annual Hawaii Int'l Conf. on System Sciences, 1989, Vol. 2, pp. 504–512.
Lippmann R P. An introduction to computing with neural nets.IEEE ASSP Magazine, April, 1987, pp. 4–22.
Liu Zongtian. Design and implementation of the statement translator in the 68000 C anticompiler.Mini-Micro Systems, 1988, 9(2): 1–10, in Chinese
Liu Zongtian, Zhu Yifen. The application of the symbolic execution to the 68000 C anticompiler.Chinese Journal of Computers, 1988, 11(10): 633–637, in Chinese.
Darringer J A, King T C. Application of symbolic execution to program testing.Computer, 1978, 11(4).
Liu Zongtian. The data type recovery in the 68000 C anti-compilerMicrocomputer Applications, 1989, 6(6): 15–20, in Chinese.
Liu Zongtian. The technique of transformation from machine code to high level language program.Computer Research and Development, 1992, 29(11): 49–53, in Chinese.
Burstall R M, Darlington J A. Some transformations for developing recursive programs.JACM, 1977, 24(1): 44–67.
Liu Zongtian. ADL language and its application to the program development.Chinese Journal of Computers, 1986, 9(1): 16–29, in Chinese.
Williams. Generating structural flow diagram: The nature of unstructuredness.The Computer Journal, 1977, 20(1).
Sun Yongqiang, Song Guoxin, Yang Nan. Program structuring and translating.Chinese Journal of Computers, 1987, 10(4): 209–219, in Chinese.
Liu Zongtian, Lan Qun. Translation from the Sub-C to the C language program.Computer Research and Development, 1991, 28(3): 29–34, in Chinese.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Liu, Z., Chen, F. Research on decompiling technology. J. of Comput. Sci. & Technol. 9, 311–319 (1994). https://doi.org/10.1007/BF02943578
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943578