A logic-based approach to reverse engineering tools production
- 1 December 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (12), 1053-1064
- https://doi.org/10.1109/32.184760
Abstract
Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered.<>Keywords
This publication has 31 references indexed in Scilit:
- A conceptual design for a code analysis knowledge baseJournal of Software Maintenance: Research and Practice, 1992
- Reverse engineering: Algorithms for program graph productionSoftware: Practice and Experience, 1991
- The C information abstraction systemIEEE Transactions on Software Engineering, 1990
- Using function abstraction to understand program behaviorIEEE Software, 1990
- Reverse engineering and design recovery: a taxonomyIEEE Software, 1990
- Interprocedural optimization: Experimental resultsSoftware: Practice and Experience, 1989
- Efficient computation of flow insensitive interprocedural summary informationACM SIGPLAN Notices, 1984
- Implementing relational views of programsPublished by Association for Computing Machinery (ACM) ,1984
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978