• Articles • Previous Articles     Next Articles

Research on Decompiling Technology

Liu Zongtian; Chen Fuan;   

  1. Microcomputer Institute; Hefei University of Technology; Hefei 230009;
  • Online:1994-07-10 Published:1994-07-10

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 4ata type recovery program transformation, and knowledge engineering are separately aPPlied to diIfernt phases of decompiling. Then it is discussed that the techulques of developing expert systems are adopted to build a decompilin…

Key words: automated test data generation; program path; software testing; data-flow analysis; program slice.;



[1] Samuelson P. Reverse-engineering someone else's software: Is it legal. IEEE Software , 1990, 7(1):90-96.

[2] Liu Zongtian. Chen Fhan. The current status and problems of research 0n decompilation technology. Computer Science, 1992, 19(6): 55-58, in Chinese.

[3] Liu Zongtian. Design method of 68000 C anti-compiler. Computer Research and Development, 1986, 23(6): 32-36, in Chinese. ……….
[1] Xu-Zhou Zhang, Yun-Zhan Gong, Ya-Wen Wang, Ying Xing, Ming-Zhe Zhang. Automated String Constraints Solving for Programs Containing String Manipulation Functions [J]. , 2017, 32(6): 1125-1135.
[2] Xiangyu Zhang, Dongmei Zhang, Yves Le Traon, Qing Wang, Lu Zhang. Roundtable: Research Opportunities and Challenges for Emerging Software Systems [J]. , 2015, 30(5): 935-941.
[3] Dan Hao, Member, CCF, Lu Zhang,Senior Member, CCF, Ming-Hao Liu, He Li, and Jia-Su Sun, Senior Member, CCF. Test-Data Generation Guided by Static Defect Detection [J]. , 2009, 24(2): 284-293.
[4] Jiang Yu, Andrew Tappenden, James Miller, and Michael Smith. A Scalable Testing Framework for Location-Based Services [J]. , 2009, 24(2): 386-404.
[5] Masayuki Hirayama[1], Osamu Mizuno[2], and Tohru Kikuno[2]. Analysis of Software Test Item Generation—Comparison Between High Skilled and Low Skilled Engineers [J]. , 2005, 20(2): 0-0.
[6] SHAN JinHui (单锦辉), WANG Ji (王 戟), QI ZhiChang (齐治昌) and WU JianPing (吴建平). Improved Method to Generate Path-Wise Test Data [J]. , 2003, 18(2): 0-0.
[7] LIAN Ruiqi (连瑞琦), ZHANG Zhaoqing (张兆庆) and QIAO Ruliang (乔如良). Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers [J]. , 2002, 17(6): 0-0.
[8] Luo Gang;. Generating Conformance Tests for Nondeterministic Protocol Machines [J]. , 1994, 9(4): 289-301.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved