A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation
Automated Software Engineering
Obtaining a COBOL grammar from legacy code for reengineering purposes
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
| Hi-index | 0.00 |
Customized code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information into a database, and using an application generator to translate the high level specifications of the analyses the tools are intended to perform. We present a high level domain specific language for the specification of program analysis tools that exploit an algebraic program representation called F(p). The algebraic representation is a compact program view which describes the static composition of the control structures and the set of the resulting potential executions. Operands of the algebraic expression (that represent the program's constructs) are used as indexes to access information stored into a database. The specification language provides facilities for the traversal of the program representation and access to the associated information into the database. The program model and the analyses' results are integrated into a unique conceptual model, thus simplifying the reuse of the results of an analysis and the integration of tools.