Main goal of the MURZ project is to explore in detail some of the most common analysis and optimization techniques used with imperative languages. Our idea has been the development of an analysis tool that would be convenient and easy to use, with which we could test some of the most typical data-flow analyses, in order to understand how the compiler manipulates the information collected this way, to optimize the code. The tool we developed, here presented, can be included in an optimizing compiler, or can be used to develop and study new analyses.
The experience has been interesting and useful, as we could study: