Paper Info
Title
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Abstract
Reverse engineering of program code is the process of constructing a higher level abstraction an implementation in order to facilitate the understanding of system that may be in a legacy" or "geriatric" state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming, have prompted a need to reverse engineer and re-engineer program code. At the same time, there is a need to preserve the functionality of existing systems as well as reason about the correctness of changed code, each of which is facilitated by the existence of formal specifications. This paper describes an approach that incorporates the use of semi-formal analysis and formal program semantics to reverse engineer C programs. The reverse engineering techniques are applied to a portion of a ground-based command system for unmanned flight systems.
Year
DOI
Venue
1996
10.1109/ICSM.1996.565015
international conference on software maintenance
Keywords
DocType
ISBN
reverse engineering technique,formal method,changed code,formal specification,engineer c program,reverse engineering,c programs,formal technique,ground-based command system,formal techniques,program code,formal program semantics,re-engineer program code
Conference
0-8186-7677-9
Citations 
PageRank 
References 
17
1.05
5
Authors
2
Name
Order
Citations
PageRank
Gerald C. Gannod130135.86
Betty H. C. Cheng23345191.44