A logic based approach to reverse engineering tools production
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Some of the reasons for difficulties arising in the use of design documents produced by reverse engineering tools are analyzed. With reference to intermodular dataflow analysis for Pascal software systems, an interactive tool is proposed to more effectively help the maintainer. The tool is based on: the production of intermodular dataflow information by static analysis of the code; their representation in a Prolog program dictionary; and a Prolog abstractor that allows specific queries of maintainers to be answered. A logic-based approach to the design and implementation of an interactive tool which analyzes the intermodularal data flow of a program is discussed.Keywords
This publication has 4 references indexed in Scilit:
- A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Maintenance and intermodular dependencies in Pascal environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient computation of flow insensitive interprocedural summary informationPublished by Association for Computing Machinery (ACM) ,1984
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978