A Static Analysis Mechanism Of C++ Programs Based On The Open Compilation Technique

For the complexity of software system, the main works of software development, maintenance and evolution have been focused on the comprehension of existing systems. Reverse engineering is an effective method to program comprehension, and it has been a significant research branch of software engineering. It creates representations of the system at a higher level of abstraction to assist program comprehension by extracting the static information and dynamic information from the program.This paper begins with an introduction of the principles and applications of software reverse engineering, and discusses the open compiler of OpenC++ in detail, which is based on the reflection technique. By means of source code modification, MOP extension , this paper turns OpenC++ into a program analysis tool, though which we can extract the static information to recover not only the static model of the target system but UML2.0 sequence diagrams of the target system. The tool can assist program instrumentation too.All of the algorithms and methods provided in this paper have been implemented in a tool named XDRE (XiDian Reverse Engineering).