2.1 Introduction

MURZ gives the user the opportunity to analyze a simple imperative language (à la Pascal), featuring:

• declaration of variables;
• integer and boolean types;
• control flow structures (if and while);
• procedures.

This simple language makes it straight-forward to build control-flow graph, and to implement the analysis algorithm we studied as a part of the Advanced compiling techniques class, in Pisa. Furthermore, some techniques we studied as a part of the Compilers: laboratory class are used to perform the static type analysis: to do that, we used an attribute of the abstract syntax tree.